Pinned Loading

1. github/semantic github/semantic Public archive

   Parsing, analyzing, and comparing source code across many languages

   Haskell 9.1k 457

2. tree-sitter/tree-sitter tree-sitter/tree-sitter Public

   An incremental parsing system for programming tools

   Rust 23.8k 2.4k

3. effects effects Public

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

   Haskell 20 5

4. dotfiles dotfiles Public

   Emacs Lisp 4

5. idris-objc-demo idris-objc-demo Public

   An Idris -> Objective-C demo

   Shell 10

6. Idris-dev Idris-dev Public

   Forked from idris-lang/Idris-dev

   A Dependently Typed Functional Programming Language

   Haskell 2