Pinned Loading

1. mmzk-typeid mmzk-typeid Public

   A TypeID and UUIDv7 implementation in Haskell

   Haskell 6 3

2. Python-Palindrome Python-Palindrome Public

   Express any number as the sum of three palindromes, based on a 2016 algorithm discovered by Javier Cilleruelo, Florian Luca, and Lewis Baxter.

   Python 5

3. Haskell-RM Haskell-RM Public

   Implementation of the Register Machine in Haskell so efficient that it can even simulate the Universal Register Machine!

   Haskell 4

4. doc-jan-haskell doc-jan-haskell Public

   Solutions to Imperial College Department of Computing Haskell January Tests

   Haskell 2

5. lambda_calculus lambda_calculus Public

   Dart package for Lambda Calculus

   Dart 2

6. lambda_calculus_front_end lambda_calculus_front_end Public

   Dart 3