dbis-uibk / relax

Related projects: ⓘ

• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆245Updated 3 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆205Updated 2 weeks ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆208Updated 3 weeks ago
• vkaravir / JSAV
  JavaScript Algorithm Visualization library
  ☆112Updated 3 years ago
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆96Updated last year
• evanw / fsm
  Finite State Machine Designer
  ☆292Updated 11 months ago
• Kattis / problemtools
  Tools to manage problem packages using the Kattis problem package format.
  ☆105Updated last month
• overleaf / web
  The web front end for Overleaf, a web-based collaborative LaTeX editor
  ☆348Updated 3 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆168Updated 4 years ago
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆799Updated last year
• DOMjudge / domjudge
  DOMjudge programming contest jury system
  ☆714Updated this week
• DOMjudge / domjudge-packaging
  DOMjudge packaging for (Linux) distributions and live image
  ☆32Updated 3 weeks ago
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆265Updated 3 years ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆884Updated 7 years ago
• BNFC / bnfc
  BNF Converter
  ☆583Updated last month
• stereobooster / programming-languages-genealogical-tree
  Programming languages genealogical tree
  ☆257Updated last year
• wo / tpg
  Tree Proof Generator
  ☆151Updated 2 months ago
• bakkot / cfgrammar-tool
  Work with context-free grammars. Parsing, string generation, and manipulation.
  ☆46Updated 2 years ago
• sarahtattersall / PIPE
  PIPE - Platform Independent Petri Net Editor
  ☆231Updated 2 years ago
• Kattis / kattis-cli
  Kattis online judge command line tool
  ☆46Updated 3 weeks ago
• mrieppel / TruthTableGenerator
  Generates truth tables for formulas of sentential logic
  ☆60Updated 3 weeks ago
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆339Updated last month
• MikeDevice / first-follow
  Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation
  ☆126Updated last year
• aykamko / abTreePractice
  Alpha-Beta Pruning Practice App
  ☆112Updated 7 years ago
• cslarsen / mandelbrot-js
  Fast rendering of the Mandelbrot set in HTML5 canvas using JavaScript
  ☆349Updated 2 years ago
• citiususc / jflap-lib
  An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.
  ☆50Updated 6 years ago
• aslushnikov / latex-online
  Online latex compiler. You give it a link, it gives you PDF
  ☆497Updated 2 months ago
• DOMjudge / checktestdata
  checks integrity of test data in programming contests like the ACM ICPC
  ☆22Updated 4 months ago
• CyberZHG / toolbox
  https://cyberzhg.github.io/toolbox/ Encoding and parsing tools.
  ☆940Updated 9 months ago
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆33Updated 10 months ago