Popular repositories Loading

1. nabla nabla Public

   nabla is functional programming language that is equipped predicate logic in type system. (early development)

   Haskell 3

2. migrationutils migrationutils Public

   The utils to crean table data and chack table format.

   Java

3. BeGIC BeGIC Public archive

   Beginner's Graphical Instruction Code(BeGIC) with application development environment.

   Java

4. moji moji Public

   Python

5. batchjs batchjs Public

6. kaleidoscope kaleidoscope Public

   the kaleidoscope language implemented in haskell and llvm

   Haskell