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:
- An experimental TypeScript parser combinator library. Powered by template literal types(TS 4.1+).☆15Updated 4 years ago
- Various ways to bring unsoundness to TypeScript☆15Updated 4 years ago
- A programming language (WIP)☆29Updated last year
- PoC: A rusty Option for TypeScript.☆21Updated 4 months ago
- Type safe and flexible router for React☆35Updated 8 months ago
- WebAssembly eXtended Text Format☆13Updated 2 years ago
- Algebraic effects and handlers for TypeScript☆24Updated last month
- Synthesizer (using Web Audio API)☆14Updated 4 years ago
- Execute command in local client from remote host☆23Updated 2 years ago
- Resource Bundles Toolkit☆19Updated 4 years ago
- A Minesweeper-driven esolang.☆12Updated last week
- O(N log N)-space IPC solver in OCaml☆52Updated 2 years ago
- deiny is web app for web app. under development☆16Updated 2 weeks ago
- Delete your 2 or more days ago tweets Automatically.☆31Updated last year
- JavaScript Doctest for JavaScript, Markdown and Asciidoc.☆64Updated 2 weeks ago
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆12Updated 4 months ago
- ☆45Updated 2 years ago
- Lazeのコンパイラ☆15Updated 2 years ago
- Visual Studio Code Extension for Real-Time Debugging in HSP☆13Updated 8 years ago
- Coqで様々な数学の定理を証明☆18Updated 2 years ago
- 🦕☆30Updated last week
- Programming language implementation for learning purposes☆16Updated last week
- ☆15Updated this week
- 手を動かせばできるLLVMバックエンド チュートリアル(WIP)☆43Updated 3 years ago
- ☆11Updated 2 years ago
- ☆11Updated last year
- A purely functional programming language based on higher-order polymorphic lambda calculus☆20Updated last year
- A tiny JVM (Java Virtual Machine) program written in TypeScript.☆28Updated 2 years ago
- Expression-oriented toy programming language written in Rust☆19Updated 6 years ago
- ☆11Updated 6 years ago