Pinned Loading

1. zkFold/zkfold-base zkFold/zkfold-base Public

   ZkFold's Base library

   Haskell 15 6

2. haskell-2023 haskell-2023 Public

   Материалы курса ФКН по Промышленному программированию на Haskell

   Haskell 6

3. lambda-calculus lambda-calculus Public

   An LC interpreter with GHCi interface.

   Haskell 2

4. arend-lib arend-lib Public

   Forked from JetBrains/arend-lib

   Java

5. odlang odlang Public

   A Haskell interpreter of a new functional language with effect types and substructural handlers

   TeX 2

6. elliptic elliptic Public

   Textbook implementation of elliptic curves and basic encryption schemes in Rust

   Rust