Pinned Loading

1. FarRP FarRP Public

   An arrowized FRP library for Idris with static safety guarantees.

   Idris 16 1

2. ttyped ttyped Public

   A simple dependently typed language based on the Calculus of Constructions.

   Haskell 15 1

3. hlisp hlisp Public

   A minimal, pure, and lazy symbolic lisp.

   Haskell

4. markovs_passwords markovs_passwords Public

   Random pronounceable passwords using Markov chains.

   Python

5. debtTools debtTools Public

   Tools to help manage and analyze debt, specifically for compound interest.

   Python

6. CGDS CGDS Public

   C generic data structures

   C