nabijaczleweli / wustc
Exampwe of ewwonyenyonyuns code:
☆15Updated 5 years ago
Alternatives and similar repositories for wustc:
Users that are interested in wustc are comparing it to the libraries listed below
- A functional scripting language.☆18Updated 3 months ago
- Focus on the comments you find most interesting.☆18Updated 11 months ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆19Updated 2 years ago
- type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc☆30Updated 4 years ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Updated 2 years ago
- Nix written in rust (this will take some time if it will ever finish)☆22Updated 4 years ago
- Recursively divisible buffers for Rust☆11Updated 3 months ago
- dependent type theory experiment☆25Updated 10 months ago
- Patience diff and longest increasing subsequence☆12Updated last year
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- Detect what files a program uses and rerun it when they change☆29Updated 2 years ago
- Compression and decompression in the gzip and zlib formats☆35Updated last month
- A simple prolog implementation in Rust☆26Updated 4 years ago
- The glitch-soc/Mastodon fork running on types.pl☆22Updated this week
- Haskell to brainfuck compiler☆29Updated 10 years ago
- deprecated by `design-tools`☆17Updated 6 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆50Updated 4 years ago
- All the byte bashing you didn't know you wanted in Haskell.☆21Updated 3 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Updated 4 years ago
- Macros have types!☆129Updated last year
- An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.☆57Updated 4 years ago
- A prototype of my proposed name resolution algorithm for Rust.☆12Updated 9 years ago
- Dependent hash maps☆14Updated 7 months ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- ☆30Updated 3 years ago
- Handy macro to generate C-FFI bindings to Rust for Haskell☆67Updated last week
- Ergonomic process launching with extreme flexibility and speed (compared to shh)☆24Updated 2 years ago
- Get a GUI fast in any language under the sea!☆47Updated last year
- ☆35Updated 6 years ago