Pinned Loading

1. boltlang/Bolt boltlang/Bolt Public

   A programming language for rapid application development

   C++ 45 3

2. learn-type-inference learn-type-inference Public

   A collection of programs and material to learn type inference algorithms

   Haskell 2

3. mage mage Public

   A work-in-progress lexer/parser generator for a growing number of languages

   Python 3 1