nabijaczleweli / wustcLinks
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
Sorting:
- A functional scripting language.☆17Updated 7 months ago
- Polymorphic guarded λ-calculus☆20Updated last month
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- Haskell parser and printer for the TOML 1.0.0 file format☆26Updated 4 months 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 general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- Get a GUI fast in any language under the sea!☆47Updated 2 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- ☆37Updated 2 weeks ago
- type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc☆31Updated 5 years ago
- Macros have types!☆131Updated 2 years ago
- Source repository for https://hackage.haskell.org/package/language-c☆90Updated 6 months ago
- cargo +nightly build☆34Updated 6 years ago
- An EDSL implemented in Haskell for programming the Nintendo Game Boy.☆49Updated last year
- Type-Level Programming in Rust☆28Updated 3 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 7 months ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 5 years ago
- Lift enum variants to the type-level.☆32Updated 4 years ago
- ☆14Updated 2 years ago
- A Binary File Markup Language☆24Updated 2 years ago
- Provides a Refl encoding in Rust☆68Updated 2 years ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Updated 2 months ago
- ⚖ ️ Trial Data Type☆21Updated 2 months ago
- Haskell to brainfuck compiler☆30Updated 11 years ago
- Cross-compiler from Haskell to Rust, plus parser-haskell.☆78Updated 8 years ago
- Label dependent dependent session types☆16Updated last year
- C Layer for Dhall Language☆15Updated 4 years ago
- 💐 j is a subset of J, and an essay.☆47Updated last month
- deprecated by `design-tools`☆17Updated 6 years ago