Pinned Loading

1. poker-maison poker-maison Public

   Forked from ConsenSysMesh/fae-demo

   🂺 A Multiplayer Poker App Crafted with Haskell and React

   Haskell 309 34

2. react-poker react-poker Public

   A React Library For Poker Card Game Animations

   JavaScript 118 41

3. formalising-mathematics-2023 formalising-mathematics-2023 Public

   Forked from ImperialCollegeLondon/formalising-mathematics-2023

   repository for material for Jan-Mar 2023 course on formalising mathematics

   Lean

4. typst typst Public

   Forked from typst/typst

   A new markup-based typesetting system that is powerful and easy to learn.

   Rust

5. lean-workbook lean-workbook Public

   A collection of maths exercises and solutions for the Lean theorem prover

6. sqlite-clone sqlite-clone Public

   A minimal rust clone of sqlite

   Rust