browserdotsys / vecchio
Rust implementation of Ray Tracing in One Weekend
☆12Updated 4 years ago
Related projects: ⓘ
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆19Updated 2 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆14Updated 6 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 5 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆34Updated 6 years ago
- Lua parser and pretty-printer☆14Updated 4 months ago
- Dependent hash maps☆14Updated 3 months ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆18Updated 5 years ago
- LibSSH2 FFI bindings for Haskell☆26Updated 3 months ago
- ☆25Updated this week
- Patience diff and longest increasing subsequence☆12Updated 11 months ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 7 months ago
- Type-Level Programming in Rust☆26Updated 2 years ago
- Label dependent dependent session types☆15Updated 4 months ago
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- 🌋 Idris implementation of patricia tree☆22Updated 3 years ago
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 4 years ago
- Your happy place for learning APL☆16Updated last year
- A proof that Idris is pacman complete☆8Updated 6 years ago
- A Result-like type that can collect multiple Errs☆12Updated 3 years ago
- cargo +nightly build☆34Updated 5 years ago
- Type Theory in Type Theory using Cubical Agda☆12Updated 5 years ago
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- A tiny statically typed programming language☆18Updated 10 years ago
- Create and animate sprites easily with sdl2 (Haskell)☆23Updated 6 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆11Updated 5 years ago
- Malfunction backend for Idris 2☆12Updated 2 years ago
- A safe and efficient target language for functional compilers☆19Updated 6 years ago
- Recursion schemes in ATS☆9Updated 2 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago