CyberZHG / toolbox

Related projects ⓘ

Alternatives and complementary repositories for toolbox

• mjnaderi / Sharif-Judge
  A free and open source online judge system for programming courses
  ☆388Updated 5 months ago
• DMOJ / judge-server
  Judging backend server for the DMOJ online judge.
  ☆898Updated this week
• niklasso / minisat
  A minimalistic and high-performance SAT solver
  ☆1,029Updated 6 months ago
• pin3da / notebook-generator
  (Auto) generate notebooks from your source code. Useful for ACM-ICPC
  ☆123Updated 5 months ago
• MikeDevice / first-follow
  Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation
  ☆126Updated last year
• amirhossein-hkh / LR-Parser
  LR Parser (LR(0), SLR(1), CLR(1) and LALR(1))
  ☆63Updated last year
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆210Updated 3 months ago
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆100Updated last year
• jcf94 / dragon-book-exercise-answers
  Compilers Principles, Techniques, & Tools (purple dragon book) second edition exercise answers. 编译原理（紫龙书）第2版习题答案。
  ☆64Updated 2 years ago
• genchang1234 / How-to-cheat-in-computer-science-101
  ☆299Updated 2 years ago
• ioi / isolate
  Sandbox for securely executing untrusted programs
  ☆1,120Updated 3 months ago
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆286Updated 3 weeks ago
• sdht0 / automata-from-regex
  A python program to build nfa, dfa and minimised DFA from given regular expression. Uses Tkinter for GUI and GraphViz for graphs.
  ☆119Updated 11 years ago
• judge0 / judge0
  🔥 The most advanced open-source online code execution system in the world.
  ☆2,702Updated 2 months ago
• fjzzq2002 / CFBooster
  ☆56Updated 4 years ago
• nimble-code / Spin
  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
  ☆368Updated last month
• swapagarwal / automata-from-regex
  An interactive c++ program to construct NFA, DFA, and minimized DFA from a given regular expression.
  ☆99Updated 4 years ago
• DOMjudge / domjudge
  DOMjudge programming contest jury system
  ☆736Updated this week
• imyueli / NottinghamThesisTemplate
  LaTeX template for the University of Nottingham thesis/dissertation.
  ☆56Updated 4 years ago
• atungare / coq-software-foundations
  ☆19Updated 7 years ago
• cms-dev / cms
  Contest Management System
  ☆901Updated this week
• chaoshxxu / virtual-judge
  Holding contests using problems from other OJs!!
  ☆131Updated 8 years ago
• automoss / automoss
  Automate the process of detecting similarities between code for a collection of computer science assignments.
  ☆116Updated last year
• ryandougherty / Introduction-to-the-Theory-of-Computation-Solutions
  Solutions to Michael Sipser's Introduction to the Theory of Computation Book (3rd Edition).
  ☆350Updated 3 years ago
• msoos / cryptominisat
  An advanced SAT solver
  ☆824Updated 3 weeks ago
• evanw / fsm
  Finite State Machine Designer
  ☆296Updated last year
• WasylF / CF-rating-prediction
  ☆55Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆243Updated this week
• mfornet / acmx
  Competitive programming made simple. VSCode extension.
  ☆150Updated this week
• ahmed-dinar / codeforces-cli
  A simple command line tool for Codeforces coders
  ☆23Updated 3 months ago