syntaxAlchemist/ldmc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
ladder-typed data morphing compiler
64 commits 2 branches 0 tags 318 KiB
Rust 67.3%
C 18.1%
Shell 9.2%
Makefile 5.4%
Find a file
Michael Sippel ef819b4711
morphisms: remove 'return 0;' at end since it is now added by default
2025-04-03 16:37:46 +02:00
code-size-benchmark replace x86.T with native.T 2025-03-20 16:28:16 +01:00
morphisms morphisms: remove 'return 0;' at end since it is now added by default 2025-04-03 16:37:46 +02:00
platforms exemplaric platform definitions 2025-03-31 10:29:57 +02:00
src improve code generation 2025-04-02 23:32:06 +02:00
test replace x86.T with native.T 2025-03-20 16:28:16 +01:00
.gitignore gitignore 2025-03-15 18:49:39 +01:00
Cargo.toml improve output 2025-02-20 05:35:40 +01:00