Sequitur and RePair grammar induction algorithms implementation
☆28Dec 8, 2023Updated 2 years ago
Alternatives and similar repositories for GI
Users that are interested in GI are comparing it to the libraries listed below
Sorting:
- My MSc thesis: a grammar induction system☆16Apr 15, 2016Updated 9 years ago
- Java implementation of SAX, HOT-SAX, and EMMA☆84Dec 7, 2023Updated 2 years ago
- SPARQL client API and a high-speed protocol implementation☆18Mar 27, 2012Updated 13 years ago
- Clojure program to exhaustively search for optimal Java programs☆21Sep 5, 2012Updated 13 years ago
- Small example MirageOS unikernels.☆15Jun 14, 2019Updated 6 years ago
- ☆21Jan 29, 2023Updated 3 years ago
- Semantic parser induction using a generative model of grammar.☆30Apr 5, 2022Updated 3 years ago
- A simple, unoptimized, purely functional Datalog implementation.☆12Aug 13, 2025Updated 7 months ago
- Haskell monad transformer for weighted, non-deterministic computation☆32Jan 26, 2025Updated last year
- A Haskell probabilistic programming library.☆21Feb 19, 2026Updated last month
- Druid Bar is a movable mana bar that keeps track of your current mana, even in a shapeshifted form like bear or cat. remember that this a…☆12Feb 13, 2026Updated last month
- SAX-VSM public release, visit our website for detail☆94Jan 10, 2022Updated 4 years ago
- Exactly what it says on the tin.☆20Oct 10, 2017Updated 8 years ago
- Python binding to the heatshrink library☆18Dec 6, 2022Updated 3 years ago
- small, easy to understand continuations library in java☆17May 3, 2013Updated 12 years ago
- (PLEASE USE https://github.com/HanKruiger/tsNET) This is here for historical purpose only.☆10Mar 10, 2019Updated 7 years ago
- Library classes for the Twelf Proof System☆23Jun 16, 2020Updated 5 years ago
- My Agda experiments☆12Sep 26, 2019Updated 6 years ago
- An automata learning library written in Python.☆48Feb 26, 2020Updated 6 years ago
- A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]☆22Nov 25, 2021Updated 4 years ago
- java heatshrink☆11Oct 19, 2022Updated 3 years ago
- AI library developed in functional scala☆14Dec 28, 2015Updated 10 years ago
- Propositional logic in terms of if-then-else☆15Jul 15, 2017Updated 8 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 9 years ago
- A PyTorch implementation of deep Q-learning for Atari games☆13Dec 4, 2018Updated 7 years ago
- Advanced desktop search/corpus exploration prototype☆21Jun 23, 2021Updated 4 years ago
- Formalization of Axiomatic Set Theory in Coq☆19Oct 29, 2019Updated 6 years ago
- VirtuaPlant is a Industrial Control Systems simulator which adds a “similar to real-world control logic” to the basic “read/write tags” f…☆10Jan 31, 2017Updated 9 years ago
- Streams for (Co)Free! — The supporting repository for a 2016 Scala By The Bay presentation☆14Nov 11, 2016Updated 9 years ago
- Vocab drill using parallel corpora, plus classic spaced-repetition drill☆30Aug 19, 2015Updated 10 years ago
- IP stack written in Dylan - includes binary parsing and interactive GUI☆25Jan 30, 2014Updated 12 years ago
- Library for playing a standard game of checkers/draughts☆18Jul 3, 2020Updated 5 years ago
- unrolled skip list library for C☆22May 25, 2019Updated 6 years ago
- Home Assistant Integration for tami4edge☆13Sep 5, 2025Updated 6 months ago
- A Hello World program in Coq.☆17May 28, 2022Updated 3 years ago
- Central sources for a networked application framework.☆17Sep 11, 2016Updated 9 years ago
- Mirror of Apache MRQL (Incubating)☆17Aug 22, 2017Updated 8 years ago
- A toolkit for finding and analysing the grammars of emergent languages.☆11Nov 16, 2020Updated 5 years ago
- This repo contains the analysis results reported in the paper "Grammar Induction with Neural Language Models: An Unusual Replication"☆49Sep 28, 2018Updated 7 years ago