https://github.com/trackoor/Pistolet

🔫 Toy ML-like Imperative Programming Language (WIP)

functional-language imperative-programming-language programming-language rust

Last synced: 10 Feb 2025

https://github.com/trackoor/OPG_Parser

🔪 OPG (Operator Precedence Grammar) Parser, in Coq.

coq functional-programming parser

Last synced: 10 Feb 2025

https://github.com/trackoor/STLC

❄️ Simply typed lambda calculus formalized in Coq, REPL in Haskell.

programming-language simply-typed-lambda-calculus stlc

Last synced: 10 Feb 2025

https://github.com/trackoor/OS_Project

Last synced: 08 Apr 2025

https://github.com/trackoor/os_project

Last synced: 24 Apr 2025

https://github.com/trackoor/aclightgen

Clightgen for Annotated C programs.

Last synced: 24 Apr 2025

https://github.com/trackoor/dannypsnl.github.io

Dan's Blog | Programming Language Theory • System Programming

Last synced: 24 Apr 2025

https://github.com/trackoor/mintlify-docs

Last synced: 24 Apr 2025

https://github.com/trackoor/share_proof

Last synced: 24 Apr 2025

https://github.com/trackoor/AClightGen

Clightgen for Annotated C programs.

Last synced: 08 Apr 2025

https://github.com/trackoor/ucsb

Last synced: 24 Apr 2025