~lobsters | Bookmarks (4)

clear filters

compilers × plt ×

GitHub - boothby/repiet: A compiler for the esoteric language Piet, targeting multiple backends.

github.com

compilers plt
1
Announcing the Saber Virtual Machine - Ryan Brewer

ryanbrewer.dev

compilers plt
2
A Modern Compiler for the French Tax Code

arxiv.org

Abstract: In France, income tax is computed from taxpayers’ individual returns, using an algorithm that is...
Abstract: In France, income tax is computed from taxpayers’ individual returns, using an algorithm that is authored, designed and maintained by the French Public Finances Directorate (DGFiP). This algorithm relies on a legacy custom language and compiler originally designed in 1990, which unlike French wine, did not age well with time. Owing to the shortcomings of the input language and the technical limitations of...

compilers formalmethods pdf plt
1
GitHub - yorickpeterse/pattern-matching-in-rust: Pattern matching and exhaustiveness checking algorithms implemented in Rust

github.com

compilers plt rust
1