Type-Level Regular Expressions matching with TypeScript
☆23Apr 14, 2023Updated 2 years ago
Alternatives and similar repositories for ts-regexp
Users that are interested in ts-regexp are comparing it to the libraries listed below
Sorting:
- A little library of bit-based data structures.☆21Sep 7, 2025Updated 6 months ago
- JaTyC: a typestate checker for Java☆19Sep 3, 2025Updated 6 months ago
- A type programming language which compiles to and interops with type-level TypeScript☆22Sep 9, 2022Updated 3 years ago
- Type-Level Lambda Calculus interpreter with TypeScript☆18Jan 14, 2023Updated 3 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated this week
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆29Sep 21, 2022Updated 3 years ago
- Log batteries for effect-ts☆30Dec 2, 2024Updated last year
- A trpc-ified useReducer hook. ⚡☆16Aug 27, 2022Updated 3 years ago
- Desktop implementation of Steam's mobile authenticator app☆11Feb 9, 2022Updated 4 years ago
- Functional programming in Typescript☆82Jun 25, 2024Updated last year
- plugin to embed local images as data URIs☆37Oct 22, 2024Updated last year
- JSON to HTML☆12Mar 10, 2021Updated 5 years ago
- Bindings for libsystemd-daemon☆18Mar 25, 2024Updated last year
- Syntax highlighting for TypeScript error messages☆11Dec 11, 2023Updated 2 years ago
- Push Anno 1800 to its limits by finding the best possible solution to a problem. Applies to skyscraper residents, depots, and docklands t…☆14May 25, 2024Updated last year
- Django exception logger with AI suggestions on how to fix them☆10Feb 10, 2026Updated last month
- Monorepo for @microfront - a solution for a microfrontend architecture☆11Jan 3, 2023Updated 3 years ago
- Reverse Perspective Camera for OpenGL (Three.js)☆32Nov 15, 2025Updated 3 months ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- ☆12Nov 22, 2024Updated last year
- Display External IP in GNOME and notify user when it changes☆11Jan 2, 2023Updated 3 years ago
- Create and modify Word documents with Python☆12Feb 16, 2026Updated 3 weeks ago
- Demo app usage of nextkit☆12Jan 20, 2022Updated 4 years ago
- A simple solution for organizing your FastAPI endpoints☆14Jan 31, 2023Updated 3 years ago
- 🐟 M4 macro processor in pure Javascript☆15Oct 18, 2017Updated 8 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- Make sure to use try-catch to wrap up some dangerous actions (e.g. JSON.parse).☆13Feb 9, 2023Updated 3 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆11Feb 22, 2025Updated last year
- Add Git related mappings on file:// scheme of fern.vim☆12Sep 24, 2020Updated 5 years ago
- Lua bindings for Deno.☆14Jun 12, 2022Updated 3 years ago
- Visual graph rewriting platform☆10Jun 3, 2025Updated 9 months ago
- A model builder helper for creating graph neural networks akin to the ones described in https://arxiv.org/abs/1806.01261 and https://ie…☆12Apr 18, 2019Updated 6 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- The source code repository for the FactorBase system☆10Mar 17, 2024Updated last year
- Zig Vector Database!☆14Jan 30, 2026Updated last month
- Matcha Monday Webring☆12Feb 22, 2026Updated 2 weeks ago
- A coöperative multitasking framework based on `liburing` and `libucontext`☆16Jan 2, 2026Updated 2 months ago
- Libarchive VFS add-on for Kodi☆14Feb 27, 2026Updated last week