narumincho / definyLinks
deiny is web app for web app. under development
☆16Updated 10 months ago
Alternatives and similar repositories for definy
Users that are interested in definy are comparing it to the libraries listed below
Sorting:
- A programming language (WIP)☆29Updated last year
- TypeScript type-level execution tool☆11Updated 2 years ago
- ☆45Updated 2 years ago
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆12Updated 3 months ago
- An experimental TypeScript parser combinator library. Powered by template literal types(TS 4.1+).☆15Updated 4 years ago
- Mini-Programmable Configuration Language☆17Updated 8 months ago
- Algebraic effects and handlers for TypeScript☆22Updated 2 weeks ago
- Lazeのコンパイラ☆15Updated 2 years ago
- A self hosted whitespace compiler☆32Updated 5 years ago
- 🦕☆30Updated last week
- The functional programming language for scalable development☆34Updated 4 months ago
- 多重ディスパッチをベースとする静的型付け関数型プログラミング言語☆24Updated 5 years ago
- functional programming language and its compiler☆18Updated 5 years ago
- ☆45Updated 2 years ago
- LavRia: TypeScript LALR(1) Parser Generator☆16Updated 2 weeks ago
- A purely functional programming language based on higher-order polymorphic lambda calculus☆20Updated last year
- ☆14Updated 3 years ago
- SATySFi parser writtern in Rust.☆14Updated 3 years ago
- 「にこ先輩といっしょに代数!」で使ったコードの実行可能な全文(`stack runghc`)☆13Updated 6 years ago
- Type-safe transformations and purifications of PreCures (Japanese battle heroine)☆21Updated 8 months ago
- A toy programming language which is a subset of OCaml.☆51Updated last week
- The essential toolbox for functional programming in TypeScript☆19Updated 4 years ago
- The minimal functional programming library.☆17Updated 2 months ago
- Transcompiler for lua and go.☆33Updated last year
- Programming language implementation for learning purposes☆16Updated this week
- A statically typed functional programming language.☆41Updated this week
- Various ways to bring unsoundness to TypeScript☆15Updated 4 years ago
- simple text editor using rust language.☆13Updated 5 years ago
- [WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.☆13Updated 4 years ago
- self-hosted compiler for a subset of OCaml☆51Updated 5 years ago