desi-ivanov / ts-regexpView external linksLinks
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:
- JaTyC: a typestate checker for Java☆19Sep 3, 2025Updated 5 months ago
- Type-Level Lambda Calculus interpreter with TypeScript☆17Jan 14, 2023Updated 3 years ago
- A type programming language which compiles to and interops with type-level TypeScript☆22Sep 9, 2022Updated 3 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Jun 13, 2022Updated 3 years ago
- 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
- ☆39Jan 5, 2023Updated 3 years ago
- A trpc-ified useReducer hook. ⚡☆16Aug 27, 2022Updated 3 years ago
- plugin to embed local images as data URIs☆37Oct 22, 2024Updated last year
- Django exception logger with AI suggestions on how to fix them☆10Updated this week
- ☆12Nov 22, 2024Updated last year
- Create and modify Word documents with Python☆12Updated this week
- Bindings for libsystemd-daemon☆18Mar 25, 2024Updated last year
- Competition programming calendar (AtCoder, yukicoder, Codeforces, CS Academy)☆10Nov 6, 2018Updated 7 years ago
- Display External IP in GNOME and notify user when it changes☆11Jan 2, 2023Updated 3 years ago
- Monorepo for @microfront - a solution for a microfrontend architecture☆11Jan 3, 2023Updated 3 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
- Parallelized PNG compression with OpenMP☆13Jul 1, 2012Updated 13 years ago
- A coöperative multitasking framework based on `liburing` and `libucontext`☆16Jan 2, 2026Updated last month
- Matcha Monday Webring☆12Dec 15, 2025Updated 2 months ago
- Communication is an important component in robotic systems. The application goals such as, finding a victim or teleoperate a robot in an …☆11Aug 29, 2017Updated 8 years ago
- 🐟 M4 macro processor in pure Javascript☆15Oct 18, 2017Updated 8 years ago
- A source for ddc.vim to gather candidates from Universal Ctags☆10Nov 6, 2023Updated 2 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- Manage your project with the power of NPM☆10Dec 12, 2016Updated 9 years ago
- An IntelliJ IDEA plugin that allows to get suggestions for better method names☆10Dec 4, 2019Updated 6 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- Simple Bash script that shows LaTeX equations inline in the terminal☆10Apr 24, 2016Updated 9 years ago
- 📖 Denops documentation☆11Aug 24, 2025Updated 5 months ago
- DarwiinRemote with OSC functionality for OSX☆23Dec 24, 2012Updated 13 years ago
- Node module to upload to s3 with automatic retries and exponential backoff☆23Sep 27, 2017Updated 8 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- The source code repository for the FactorBase system☆10Mar 17, 2024Updated last year
- Visual graph rewriting platform☆10Jun 3, 2025Updated 8 months ago
- ☆10Feb 5, 2026Updated last week
- A OCaml generator for well-typed terms (that use their arguments).☆11Feb 22, 2025Updated 11 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
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 4 years ago
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Aug 13, 2024Updated last year