Pinned

1. haskell-2023 haskell-2023 Public

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

   Haskell 7

2. lambda-calculus lambda-calculus Public

   An LC interpreter with GHCi interface.

   Haskell 2

3. arend-lib arend-lib Public

   Forked from JetBrains/arend-lib

   Java

4. odlang odlang Public

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

   TeX 2

5. lispy lispy Public

   Lispy interpreter as in http://www.buildyourownlisp.com/

   Rust 1

6. elliptic elliptic Public

   Textbook implementation of elliptic curves and basic encryption schemes in Rust

   Rust