Popular repositories Loading

1. backtrex backtrex Public

   Backtracking behaviour to solve discrete problems by brute force

   Elixir 25 2

2. idris-elixir idris-elixir Public

   Idris backend targeting Elixir (Work in progress)

   Haskell 18

3. meta-ii meta-ii Public

   Elixir 10

4. multiset multiset Public

   Multiset/bag implementation in Rust

   Rust 9 11

5. bnfc-mode bnfc-mode Public

   Emacs mode for BNFC files

   Emacs Lisp 8 1

6. tree-sitter-dhall tree-sitter-dhall Public

   (WIP) Dhall grammar for Tree-sitter

   C 8 1