mrieppel / TruthTableGenerator

Related projects: ⓘ

• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆96Updated last year
• harsilspatel / moodle-downloader
  a 4.9-star chrome extension for batch downloading moodle resources 💾
  ☆97Updated 3 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆205Updated 2 weeks ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆82Updated 7 months ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆245Updated 3 years ago
• SWI-Prolog / swish
  SWI-Prolog for SHaring: a SWI-Prolog web IDE
  ☆491Updated last month
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆33Updated 10 months ago
• Grupo-de-Estudos-em-Logica-da-UFRN / Para-Todxs-Natal
  Projeto colaborativo de tradução e adaptação do livro de lógica Forallx
  ☆13Updated 4 months ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆208Updated 3 weeks ago
• chicolucio / truth-table-generator
  truth-table-generator is a tool that allows to generate a truth table
  ☆77Updated 10 months ago
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆90Updated 3 weeks ago
• henrikmidtiby / todonotes
  The package lets the user mark things to do later, in a simple and and visually appealing way.
  ☆176Updated 8 months ago
• mshang / syntree
  Javascript/canvas linguistics syntax tree generator.
  ☆242Updated 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
• Anniepoo / prolog-examples
  Some simple examples for new Prolog programmers
  ☆571Updated last year
• wwsalmon / youtube-liberation
  Chrome extension to liberate you from the infinite distraction cycle of YouTube.
  ☆17Updated last year
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆279Updated this week
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆264Updated last week
• arthwang / vsc-prolog
  A VS Code extension that provides language support for prolog
  ☆95Updated 10 months ago
• kisonecat / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆441Updated 2 months ago
• dragonwasrobot / learn-prolog-now-exercises
  My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Strieg…
  ☆286Updated last year
• marcodaniel / mdframed
  auto-split frame environment for LaTeX
  ☆66Updated last year
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆168Updated 4 years ago
• islandoftex / arara
  arara is a TeX automation tool based on rules and directives. It gives you a way to enhance your TeX experience. This is a mirror reposit…
  ☆400Updated 3 weeks ago
• zamansky / awesome-cs-education
  ☆113Updated 3 years ago
• aykamko / abTreePractice
  Alpha-Beta Pruning Practice App
  ☆112Updated 7 years ago
• automatarium / automatarium
  A place for automata
  ☆68Updated 3 weeks ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆288Updated 6 months ago
• T-F-S / tcolorbox
  A LaTeX package to create highly customizable colored boxes.
  ☆222Updated 2 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆240Updated 4 months ago