i
Repositories
Select a repository to view its commits, contributors, and more.public
data-encoding
Efficient and customizable data-encoding functions in Rust
Rust
182
28
5
Updated a day ago
public
lafont
Animation of Yves Lafont's Interaction Combinators
Rust
14
1
0
Updated 17 days ago
public
unsafe-mental-model
Mental model for unsafe in Rust
Rust
9
1
4
Updated 2 months ago
public
GhcKindsExamples
Examples and tests for ghc-kinds branch of GHC
Haskell
5
1
0
Updated 10 years ago
public
onekibu
USB keyboard firmware for devices with a single button
Rust
5
1
0
Updated 2 years ago
public
fcc
Coq formalization of System Fcc (coercion framework)
Coq
3
2
0
Updated 4 months ago
public
advent-of-code
Solutions for the Advent of Code
Rust
3
1
0
Updated 4 days ago
public
number-encoding
Combinatorial and factorial number systems
Rust
2
0
0
Updated 2 years ago
public
ffactor
Factored files management tool
C
1
1
0
Updated 2 years ago
public
lcge
Lambda calculus graphical evaluation
C++
0
0
0
Updated 11 years ago
public
XCompose
Haskell
0
0
0
Updated 8 years ago
public
stdio-vs-unistd
File operations comparison between stdio and unistd
C
0
0
0
Updated 5 months ago