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
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Updated 2 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- Liquid Types implementation for Rust☆28Updated 2 years ago
- type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc☆30Updated 4 years ago
- An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.☆57Updated 4 years ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- Polymorphic guarded λ-calculus☆13Updated 5 months ago
- Patience diff and longest increasing subsequence☆12Updated last year
- A safe and efficient target language for functional compilers☆20Updated 6 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- The glitch-soc/Mastodon fork running on types.pl☆22Updated last month
- Like APL, but with emojis☆15Updated 3 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- Nix written in rust (this will take some time if it will ever finish)☆22Updated 4 years ago
- Haskell to brainfuck compiler☆29Updated 10 years ago
- A Binary File Markup Language☆24Updated 2 years ago
- Detect what files a program uses and rerun it when they change☆29Updated 2 years ago
- deprecated by `design-tools`☆17Updated 6 years ago
- Label dependent dependent session types☆16Updated 11 months ago
- An EDSL implemented in Haskell for programming the Nintendo Game Boy.☆48Updated last year
- Get a GUI fast in any language under the sea!☆47Updated 2 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆50Updated 3 months ago
- A prototype of my proposed name resolution algorithm for Rust.☆12Updated 9 years ago
- Haskell parsing combinator liibrary that can be fed the input and emit the parsed output incrementally☆23Updated last week
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago
- All the byte bashing you didn't know you wanted in Haskell.☆21Updated 3 years ago
- Column-oriented binary format for immutable datasets☆9Updated 5 years ago