Pinned

1. github/semantic Public

   Parsing, analyzing, and comparing source code across many languages

   Haskell 8.5k 492

2. tree-sitter/tree-sitter Public

   An incremental parsing system for programming tools

   Rust 9.5k 540

3. effects Public

   An implementation of "Freer Monads, More Extensible Effects".

   Haskell 20 5

4. dotfiles Public

   Emacs Lisp 4

5. idris-objc-demo Public

   An Idris -> Objective-C demo

   Shell 10

6. Idris-dev Public

   Forked from idris-lang/Idris-dev

   A Dependently Typed Functional Programming Language

   Haskell 2