Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by MisakaCenter
A curated list of projects in awesome lists by MisakaCenter .
https://github.com/misakacenter/raytracer.ml
🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"
computer-graphics ocaml raytracing raytracing-one-weekend
Last synced: 28 Oct 2024
https://github.com/misakacenter/chi
🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.
Last synced: 28 Oct 2024
https://github.com/misakacenter/awesomepl
A Collection of Papers & Notes in Programming Language & Formal Verification
formal-verification programming-language
Last synced: 10 Oct 2024
https://github.com/misakacenter/pistolet
🔫 Toy ML-like Imperative Programming Language (WIP)
functional-language imperative-programming-language programming-language rust
Last synced: 10 Oct 2024
https://github.com/misakacenter/opg_parser
🔪 OPG (Operator Precedence Grammar) Parser, in Coq.
coq functional-programming parser
Last synced: 10 Oct 2024
https://github.com/misakacenter/stlc
❄️ Simply typed lambda calculus formalized in Coq, REPL in Haskell.
programming-language simply-typed-lambda-calculus stlc
Last synced: 10 Oct 2024
https://github.com/misakacenter/aclightgen
Clightgen for Annotated C programs.
Last synced: 10 Oct 2024
https://github.com/misakacenter/dannypsnl.github.io
Dan's Blog | Programming Language Theory • System Programming
Last synced: 10 Oct 2024