Beast code in Giters

Antonina Nepeivoda's starred repositories

regex2smtlib

A regular expression to SMT-LIB constraint translator

Language:JavaMIT1000

rio_semigroup_coursework

experiments around algorithm for computing finite semigroups

Language:Python100

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

Language:JavaBSD-3-Clause1664100

BisPy

BisPy - Python bisimulation library

Language:PythonMIT1300

mufasa

μJS Finite-state Automata String Analyzer

Language:JavaApache-2.0400

ExpoSE

A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.

Language:JavaScriptMIT18000

iu9-graphics-paper

Computer graphics algorithms course paper, BMSTU

Language:C++100

xstate

Actor-based state management & orchestration for complex app logic.

Language:TypeScriptMIT2646200

asciidoctor

:gem: A fast, open source text processor and publishing toolchain, written in Ruby, for converting AsciiDoc content to HTML 5, DocBook 5, and other formats.

Language:RubyNOASSERTION469100