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