Linking pages
Linked pages
- The Julia Programming Language https://julialang.org/ 404 comments
- home https://elm-lang.org/ 285 comments
- Idris: A Language for Type-Driven Development http://www.idris-lang.org 258 comments
- Semgrep — Find bugs and enforce code standards https://semgrep.dev/ 108 comments
- What is Gradual Typing | Jeremy Siek https://wphomes.soic.indiana.edu/jsiek/what-is-gradual-typing/ 88 comments
- miniKanren.org http://minikanren.org 81 comments
- Svelte • Cybernetically enhanced web apps https://svelte.dev/ 78 comments
- Sorbet · A static type checker for Ruby https://sorbet.org/ 58 comments
- Google Calendar - Sign in to Access & Edit Your Schedule https://calendar.google.com/calendar/embed?ctz=America%2FLos_Angeles&src=878qgjngmaq5jqrcp1lk7u5asg%40group.calendar.google.com 56 comments
- [2006.03511] Unsupervised Translation of Programming Languages https://arxiv.org/abs/2006.03511 45 comments
- GitHub - sqlancer/sqlancer: Automated testing to find logic bugs in database systems https://github.com/sqlancer/sqlancer 39 comments
- Flow: A Static Type Checker for JavaScript https://flow.org 21 comments
- http://alloytools.org/ 21 comments
- http://people.seas.harvard.edu/~chong/pubs/pldi13-elm.pdf 4 comments
- What is Dark? https://blog.darklang.com/what-is-dark/ 3 comments
- Dafny: A Language and Program Verifier for Functional Correctness - Microsoft Research https://www.microsoft.com/en-us/research/project/dafny-a-language-and-program-verifier-for-functional-correctness/ 1 comment
- http://david.darais.com/assets/papers/abstracting-definitional-interpreters/adi.pdf 0 comments
- https://cseweb.ucsd.edu/~npolikarpova/publications/icfp20-lifty.pdf 0 comments
- How AWS uses automated reasoning to help you achieve security at scale | AWS Security Blog https://aws.amazon.com/blogs/security/protect-sensitive-data-in-the-cloud-with-automated-reasoning-zelkova/ 0 comments
- [1705.05937] Engineering Record And Replay For Deployability: Extended Technical Report https://arxiv.org/abs/1705.05937 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - jeanqasaur/pltalk: Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
See how to search.