Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust
☆21Mar 17, 2020Updated 6 years ago
Alternatives and similar repositories for riggedregex
Users that are interested in riggedregex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rust port of "A Play on Regular Expressions"☆36Jan 7, 2019Updated 7 years ago
- Implementation of the Lox language in OCaml☆16Mar 26, 2020Updated 6 years ago
- Kamus Besar Bahasa Indonesia☆12Jun 24, 2026Updated 3 months ago
- The Official Repository for BanditHijo (R)-Chive v1☆13Jan 14, 2026Updated 8 months ago
- A Vulkan rendering engine in Rust, the Handmade way☆20Jun 17, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Prism-based parsers and pretty printers☆17Jan 1, 2018Updated 8 years ago
- Prototype of set-theoretic type system, with polymorphism and type inference.☆16Oct 17, 2025Updated 11 months ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- An implementation of "Subspace Representations for Soft Set Operations and Sentence Similarities" (NAACL 2024)☆10May 31, 2024Updated 2 years ago
- Related constants in Rust: 1 << iota☆18Dec 19, 2022Updated 3 years ago
- Modern cryptography primitives implemented in Scratch, via Boiga☆13Jul 16, 2022Updated 4 years ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 11 years ago
- CHIP-8 emulator in Rust☆15Dec 15, 2018Updated 7 years ago
- Automatically make lenses from data structures implementing Generic☆26Feb 14, 2015Updated 11 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.
- Alternate formulae repos for Homebrew☆12Aug 21, 2026Updated last month
- an arithmetic library for OCaml’s native integers☆11Jun 30, 2024Updated 2 years ago
- Simple, automation friendly SSH for the cloud.☆16Aug 12, 2015Updated 11 years ago
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- Demonstration for how to build "traverse" using GHC.Generics efficiently☆22Oct 11, 2018Updated 7 years ago
- fast and safe base library for x86-64 Linux SSE4.2 in asm (non-official patches)☆28Jun 6, 2019Updated 7 years ago
- Javascript evaluator according to ECMAScript☆10May 22, 2019Updated 7 years ago
- Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)☆12Dec 16, 2021Updated 4 years ago
- A class file easy to customize with SATySFi☆11May 22, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Extension to `thiserror` that helps reduce the amount of handwriting☆13Apr 6, 2023Updated 3 years ago
- A library for parsing, manipulating, and serializing data structured as JSON.☆20Jul 10, 2026Updated 2 months ago
- Implementation for paper Automata Extraction from Transformers.☆12Jun 8, 2024Updated 2 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆13Feb 22, 2025Updated last year
- Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]☆11May 8, 2026Updated 4 months ago
- A plugin for the commercial IDA Pro disassembler that warns users if they leave their instance idling for too long.☆30Jul 17, 2026Updated 2 months ago
- An implementation of the arrayvec crate using const generics☆20Nov 11, 2020Updated 5 years ago
- Bot for the 2018 Entelect Challenge - Tower Defence☆17Sep 19, 2018Updated 8 years ago
- A Java Library similar to SDL that works with JTransc to build native applications that work everywhere, including browser and homebrew p…☆13Sep 23, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- init☆10Jul 31, 2021Updated 5 years ago
- Small autodiff lib and a simple working feedforward neural net in Haskell on top of it, from scratch, zero-deps.☆16Jun 21, 2024Updated 2 years ago
- Citation in SATySFi like BibTeX☆12Oct 5, 2019Updated 6 years ago
- Aspect-oriented programming in Rust☆15Nov 1, 2021Updated 4 years ago
- OCaml library designed to streamline the process of validating records, variants, lists, or values. It primarily operates through a PPX d…☆18Feb 2, 2024Updated 2 years ago
- An implementation of "A Typed, Algebraic Approach to Parsing"☆11Mar 21, 2022Updated 4 years ago
- ☆11May 12, 2025Updated last year