A regular expression engine in C
☆46Dec 2, 2023Updated 2 years ago
Alternatives and similar repositories for wregex
Users that are interested in wregex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Programming for Problem Solving☆17Oct 3, 2024Updated last year
- Classical Logic in Haskell☆23Nov 19, 2025Updated 8 months ago
- Vim style editor written in Racket☆14May 31, 2020Updated 6 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- ☆13Nov 24, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 4 years ago
- Tools for splitting, normalizing, text-shaping Arabic script☆12Jun 23, 2024Updated 2 years ago
- ☆15Mar 20, 2020Updated 6 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 9 years ago
- Regular expressions of types☆16Sep 13, 2018Updated 7 years ago
- An Ansible Playbook to fully prepare a machine for Kubernetes development☆10Oct 10, 2024Updated last year
- ☆13Jan 7, 2026Updated 6 months ago
- ☆12May 9, 2015Updated 11 years ago
- Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.☆11Sep 17, 2014Updated 11 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- a native library implementing bip-39 purely for the crystal language.☆17Jan 5, 2023Updated 3 years ago
- Haskell's Core in K.☆20Jun 21, 2017Updated 9 years ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 7 years ago
- Brainf*** JIT compiler with Rust☆22Sep 10, 2021Updated 4 years ago
- MINIX v3.1.0 - described in the book 'Operating Systems Design and Implementation' 3rd edition.☆19Jun 1, 2016Updated 10 years ago
- Some cool game hacks☆21Apr 7, 2018Updated 8 years ago
- A virtual memory scanner☆10Jan 2, 2024Updated 2 years ago
- A TypeScript implementation and in-browser editor for the Monkey programming language.☆22Jan 5, 2023Updated 3 years ago
- A comfortable way to describe parameter interface and generate its underlying data structure☆14Oct 8, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An experimental lexer and parser generator☆10Jul 31, 2018Updated 7 years ago
- ☆31Jun 10, 2024Updated 2 years ago
- sass-flex-mixin in stylus edition☆11Jun 6, 2014Updated 12 years ago
- Simple blockchain implementation in NodeJS/JavaScript☆13May 14, 2017Updated 9 years ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Jan 25, 2013Updated 13 years ago
- Basic implementation of a Hierarchical Task Network (HTN) as a Unity minigame. The player races against the AI to collect items while avo…☆12Dec 17, 2018Updated 7 years ago
- ☆10Dec 14, 2023Updated 2 years ago
- descartes: the cartesian hoare logic prover☆12Feb 23, 2017Updated 9 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Secret Handshake implementation in Python☆22Jan 6, 2026Updated 6 months ago
- interprets lambda calculus☆10Dec 1, 2025Updated 7 months ago
- ☆13Oct 27, 2020Updated 5 years ago
- A zero-copy json-lexer, filters and serializer.☆19Jul 25, 2024Updated last year
- The beginners guide to TypeScript 🌹☆11Jul 16, 2019Updated 7 years ago
- Optimizing Abstract Abstract Machines☆31Apr 6, 2017Updated 9 years ago
- Webpack plugin to fix missing module default export☆10Aug 19, 2018Updated 7 years ago