julianthome / autorexView external linksLinks
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…☆22Dec 10, 2025Updated 2 months ago
- A simple chess engine☆11Dec 16, 2018Updated 7 years ago
- Namespace support for node.js, making it easy to require an entire directory.☆10Dec 7, 2014Updated 11 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
- Application which use JavaFX, SQLite, JDBC, Log4j, Maven. To see how it works (in animation) open README.☆10May 11, 2017Updated 8 years ago
- Automatically generates schema given json samples.☆10Jun 1, 2016Updated 9 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 3 years ago
- Datasets, mainly related to Entity Linking and biological corpus.☆10May 24, 2020Updated 5 years ago
- Risk Minimization Algorithms in Structured Prediction (JMLR 2016)☆13Jan 26, 2017Updated 9 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
- A photoshop-style web app for building beautiful, modern line charts☆10Aug 23, 2018Updated 7 years ago
- ☆12May 9, 2015Updated 10 years ago
- ☆13Jan 7, 2026Updated last month
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 4 years ago
- Collection of articles for the Machine Learning Journal Club☆11Mar 4, 2020Updated 5 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 3 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
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- Python scripts to simplify using LaTeX to create PDF documents (moved to gitlab)☆15Aug 1, 2018Updated 7 years ago
- A simple tool and library to embed files and directories inside an OCaml executables☆20Apr 11, 2022Updated 3 years ago
- convert ASTs between Shift and SpiderMonkey formats☆18Aug 13, 2020Updated 5 years ago
- Quarkus extension to that allows proper usage of Neo4j-OGM inside Quarkus.☆13Feb 9, 2026Updated last week
- A React port of Sketch's grid overlay☆14Dec 8, 2022Updated 3 years ago
- Aho-Corasick algorithm as implemented in Java by Danny Yoo, with little improvements☆26May 20, 2014Updated 11 years ago
- ✨ A daily crossword game – Like a tiny game of Bananagrams or Scrabble, generated each day.☆10Sep 6, 2024Updated last year
- Presenters, titles & links☆10Apr 13, 2015Updated 10 years ago
- Need to start a Python project? Try cloning this repo.☆11Jul 8, 2017Updated 8 years ago
- Regular expressions of types☆16Sep 13, 2018Updated 7 years ago
- Yet another implementation of fork&exec and related functionality☆11Jan 15, 2026Updated last month
- Mutable strings in Golang via overlays☆14Apr 13, 2023Updated 2 years ago
- Reasonable Go.☆10Aug 13, 2018Updated 7 years ago
- ☆12Jan 8, 2016Updated 10 years ago
- Auto Differentiate from scratch based on Autograd☆10Jun 21, 2022Updated 3 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
- Rust wrapper for the cld2 language detection library.☆16Nov 28, 2017Updated 8 years ago
- ☆14Sep 6, 2023Updated 2 years ago
- How to invent reactive JavaScript☆11Jul 24, 2022Updated 3 years ago