TonitaN

noam

JavaScript library for working with automata and grammars for regular and context-free languages

MrE

simplifying regular expressions

GarbageCollector

lsp

Haskell library for the Microsoft Language Server Protocol

recompression

Recompression technique of Artur Jez

tour_de_source

Send your custom scanner on a tour of open source projects, constructing a report by visiting each project.

LinguaFranca-FSE19

Artifact for the Lingua Franca paper in ESEC/FSE'19

regex_fuzzing

Evolution-structured fuzzing for extended regex and regular pattern vulnerability detection

equalize_it

12-band parametric EQ

rzk

An experimental proof assistant based on a type theory for synthetic ∞-categories.

academicpages.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

Catlab.jl

A framework for applied category theory in the Julia language

regex_matcher

A library for evaluating the complexity of regular expressions in different languages

supercompilation-hypergraph

Microsoft-Activation-Scripts

Open-source Windows and Office activator featuring HWID, Ohook, KMS38, and Online KMS activation methods, along with advanced troubleshooting.

z3

The Z3 Theorem Prover

FP-Course-ITMO

Slides and other materials for functional programming lectures ITMO university

recheck

The trustworthy ReDoS checker

Carnap

A formal logic framework that runs in the browser

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

RegexStaticAnalysis

A tool to perform static analysis on regexes to determine whether they are vulnerable to ReDoS.

pgf

A Portable Graphic Format for TeX

bilingual_book_maker

Make bilingual epub books Using AI translate

automata

A Python library for simulating finite automata, pushdown automata, and Turing machines

PubLayNet

ICDAR 2019: MaskRCNN on PubLayNet datasets. Paragraph detection, table detection, figure detection,...

InterGPS

Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"

awesome-machine-learning-in-compilers

Must read research papers and links to tools and datasets that are related to using machine learning for compilers and systems optimisation

miso

:ramen: A tasty Haskell front-end framework

lambdaconf-2018-workshop

LambdaConf 2018 workshop on building Telegram bots in Haskell.

awesome-regex

A curated collection of awesome Regex libraries, tools, frameworks and software