git.gay / tamar 2 Repositories
tamar/cloat
float4 structure like the windowsnumerics.h implementation
Language: C++ - Size: 33.2 KB - Last synced at: 11 months ago - Stars: 0 - Forks: 0
tamar/night-moon
monadic parsing combinatorics
Language: Lean - Size: 38.1 KB - Last synced at: 11 months ago - Stars: 0 - Forks: 0
tamar/agda-heap
implementing a heap in agda
Language: Agda - Size: 34.2 KB - Last synced at: 11 months ago - Stars: 0 - Forks: 0
tamar/homological
homological algebraic formalizations with the coq proof assistant
Language: Coq - Size: 45.9 KB - Last synced at: 11 months ago - Stars: 0 - Forks: 0
tamar/elf
Making small linux static binaries
Language: C - Size: 45.9 KB - Last synced at: 11 months ago - Stars: 0 - Forks: 0
tamar/qasm
an assembly language with quantum instructions
Language: Rust - Size: 47.9 KB - Last synced at: 11 months ago - Stars: 0 - Forks: 0