zenmaya/agar
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust implementation of sequent calculus
12 commits 1 branch 0 tags 396 KiB
  • Rust 99.4%
  • Nix 0.6%
Find a file
Exact
zenmaya 8197f0d648 Add assembling to elf objects 
x86_64 only for now
2026-02-08 20:10:18 +01:00
npins Initial evaluation 2026-01-31 22:36:12 +01:00
src Add assembling to elf objects 2026-02-08 20:10:18 +01:00
.envrc Initial evaluation 2026-01-31 22:36:12 +01:00
.gitignore Initial evaluation 2026-01-31 22:36:12 +01:00
build.rs Add fun 2026-02-03 21:45:59 +01:00
Cargo.lock Add assembling to elf objects 2026-02-08 20:10:18 +01:00
Cargo.toml Add assembling to elf objects 2026-02-08 20:10:18 +01:00
shell.nix Initial evaluation 2026-01-31 22:36:12 +01:00