Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by samsa1
A curated list of projects in awesome lists by samsa1 .
https://github.com/samsa1/samrustcompiler
A try to implement my own bootstrapped rust compiler
Last synced: 06 Nov 2024
https://github.com/samsa1/write_x86_64
Library to help writting X86_64 assembly in rust
Last synced: 06 Nov 2024
https://github.com/samsa1/modular-compiler-variants
This repository exists in order to hold OCaml variants for modular explicit and modular implicit
Last synced: 06 Nov 2024
https://github.com/samsa1/modexp-stdlib
Defines a standard library for using modular explicits with OCaml
Last synced: 06 Nov 2024
https://github.com/samsa1/usuba_coq
Formalization of Usuba front-end in Coq
Last synced: 06 Nov 2024