A dk.brics FSM to regular-expression-string converter
☆10Jul 12, 2025Updated 7 months ago
Alternatives and similar repositories for autorex
Users that are interested in autorex are comparing it to the libraries listed below
Sorting:
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated 7 months ago
- MDG-based static vulnerability scanner specialized in analyzing npm packages and detecting taint-style and prototype pollution vulnerabil…☆23Dec 10, 2025Updated 3 months ago
- A simple chess engine☆11Dec 16, 2018Updated 7 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 3 years ago
- Easily navigate class registration data.☆12Dec 8, 2017Updated 8 years ago
- A library that records Emacs inter-key timings.☆10Oct 11, 2017Updated 8 years ago
- Collection of articles for the Machine Learning Journal Club☆11Mar 4, 2020Updated 6 years ago
- A photoshop-style web app for building beautiful, modern line charts☆10Aug 23, 2018Updated 7 years ago
- Application which use JavaFX, SQLite, JDBC, Log4j, Maven. To see how it works (in animation) open README.☆10May 11, 2017Updated 8 years ago
- ☆13Jan 7, 2026Updated 2 months ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Tarjan's implementation of the Chu-Liu-Edmonds algorithm for finding min/max spanning trees of dense graphs.☆11Apr 19, 2015Updated 10 years ago
- Risk Minimization Algorithms in Structured Prediction (JMLR 2016)☆13Jan 26, 2017Updated 9 years ago
- ☆12May 9, 2015Updated 10 years ago
- convert ASTs between Shift and SpiderMonkey formats☆18Aug 13, 2020Updated 5 years ago
- Datasets, mainly related to Entity Linking and biological corpus.☆10May 24, 2020Updated 5 years ago
- Automatically generates schema given json samples.☆10Jun 1, 2016Updated 9 years ago
- Namespace support for node.js, making it easy to require an entire directory.☆10Dec 7, 2014Updated 11 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
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 4 years ago
- ☆12Jan 8, 2016Updated 10 years ago
- new generation language☆20Aug 2, 2013Updated 12 years ago
- The website for NU Hacks, a weekly social event for hackers and makers☆18Aug 30, 2024Updated last year
- Rust wrapper for the cld2 language detection library.☆16Nov 28, 2017Updated 8 years ago
- Regular expressions of types☆16Sep 13, 2018Updated 7 years ago
- Mutable strings in Golang via overlays (out-of-place implementation)☆14Apr 13, 2023Updated 2 years ago
- A port of Scala's Stream[+A] to C#.☆13Oct 7, 2022Updated 3 years ago
- A simple tool and library to embed files and directories inside an OCaml executables☆20Apr 11, 2022Updated 3 years ago
- Quarkus extension to that allows proper usage of Neo4j-OGM inside Quarkus.☆13Mar 2, 2026Updated last week
- Implementation of Red / Green syntax trees. Inspired by Rowan☆17Jun 23, 2024Updated last year
- A React port of Sketch's grid overlay☆14Dec 8, 2022Updated 3 years ago
- Presenters, titles & links☆10Apr 13, 2015Updated 10 years ago
- A framework for inference and testing of software behaviour.☆13Jun 14, 2023Updated 2 years ago
- How to invent reactive JavaScript☆11Jul 24, 2022Updated 3 years ago
- Reasonable Go.☆10Aug 13, 2018Updated 7 years ago
- Aho-Corasick algorithm as implemented in Java by Danny Yoo, with little improvements☆26May 20, 2014Updated 11 years ago
- Need to start a Python project? Try cloning this repo.☆11Jul 8, 2017Updated 8 years ago
- Natural language processing tools developed by the World Bank's DECAT unit. A suite of text preprocessing and cleaning algorithms for NLP…☆10Jun 11, 2022Updated 3 years ago
- Python scripts to simplify using LaTeX to create PDF documents (moved to gitlab)☆15Aug 1, 2018Updated 7 years ago