n4o847 / compile-time-typescriptLinks
TypeScript type-level execution tool
☆11Updated 2 years ago
Alternatives and similar repositories for compile-time-typescript
Users that are interested in compile-time-typescript are comparing it to the libraries listed below
Sorting:
- Various ways to bring unsoundness to TypeScript☆15Updated 4 years ago
- An experimental TypeScript parser combinator library. Powered by template literal types(TS 4.1+).☆15Updated 4 years ago
- A programming language (WIP)☆29Updated 11 months ago
- Execute command in local client from remote host☆23Updated 2 years ago
- Type safe and flexible router for React☆35Updated 7 months ago
- Synthesizer (using Web Audio API)☆14Updated 4 years ago
- PoC: A rusty Option for TypeScript.☆21Updated 3 months ago
- O(N log N)-space IPC solver in OCaml☆52Updated 2 years ago
- Coqで様々な数学の定理を証明☆18Updated 2 years ago
- A purely functional programming language based on higher-order polymorphic lambda calculus☆20Updated last year
- Visual Studio Code Extension for Real-Time Debugging in HSP☆13Updated 8 years ago
- Resource Bundles Toolkit☆19Updated 4 years ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Updated 4 years ago
- ☆26Updated 8 months ago
- Algebraic effects and handlers for TypeScript☆22Updated last week
- Monadic parser combinators for JavaScript / TypeScript☆50Updated 4 years ago
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆12Updated 3 months ago
- ☆45Updated 2 years ago
- 「にこ先輩といっしょに代数!」で使ったコードの実行可能な全文(`stack runghc`)☆13Updated 6 years ago
- ☆12Updated 2 years ago
- ☆45Updated 2 years ago
- 🦕☆30Updated last week
- ☆11Updated 6 years ago
- 作って学ぶ正規表現エンジン☆21Updated last year
- ☆14Updated 2 years ago
- deiny is web app for web app. under development☆16Updated 10 months ago
- A SATySFi class file for writing CS master theses at The University of Tokyo☆29Updated 6 years ago
- なにって...Hello World しただけだが?☆10Updated 4 years ago
- 多重ディスパッチをベースとする静的型付け関数型プログラミング言語☆24Updated 5 years ago
- Ruby parser and LSP in Rust☆20Updated 2 years ago