nabijaczleweli / wustc
Exampwe of ewwonyenyonyuns code:
☆15Updated 4 years ago
Related projects: ⓘ
- An EDSL implemented in Haskell for programming the Nintendo Game Boy.☆49Updated 11 months ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Updated 2 years ago
- experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust☆23Updated 6 months ago
- A functional scripting language.☆16Updated 8 months ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 5 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆24Updated 5 years ago
- Haskell to brainfuck compiler☆29Updated 10 years ago
- ☆25Updated this week
- type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc☆31Updated 4 years ago
- A simple prolog implementation in Rust☆26Updated 3 years ago
- The glitch-soc/Mastodon fork running on types.pl☆17Updated 2 months ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆19Updated 2 years ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆23Updated 2 years ago
- A Binary File Markup Language☆23Updated last year
- Macros have types!☆131Updated last year
- Like APL, but with emojis☆16Updated 2 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 4 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- ☆36Updated 6 years ago
- A Haskell implementation of the Formality language☆18Updated 4 years ago
- Handy macro to generate C-FFI bindings to Rust for Haskell☆65Updated this week
- A compiler and runtime for normalizing the untyped λ-calculus☆30Updated 2 years ago
- Liquid Types implementation for Rust☆26Updated last year
- A dependent type theory with user defined data types☆46Updated 2 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Get a GUI fast in any language under the sea!☆47Updated last year
- A minimal esolang based on lambda calculus☆14Updated 3 years ago
- ☆12Updated this week
- Detect what files a program uses and rerun it when they change☆29Updated last year
- Duo - A research language exploring duality in programming language design☆54Updated last year