Alternatives and similar repositories for quizicist

Users that are interested in quizicist are comparing it to the libraries listed below

• pedal-edu / pedal
  A collection of tools to analyze student's Python source code
  ☆31Updated 2 weeks ago
• tableaunoir / tableaunoir
  An online blackboard 🖉 with fridge magnets 🌈🧲 for teaching, and making animations 🏃 and presentations ⎚. All of that in a lightweigh…
  ☆195Updated last month
• EagleoutIce / tikzpingus
  🐧 Penguins in LaTeX with TikZ
  ☆82Updated 2 weeks ago
• amyjko / bookish
  A simple framework for publishing online books.
  ☆73Updated 4 months ago
• prajwalsouza / Maze-Solver
  Solves Mazes taking an image input, along with the starting and ending points. There are two Algorithms here which solve mazes. One of th…
  ☆18Updated last year
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 5 months ago
• openwebwork / pg
  Problem rendering engine for WeBWorK
  ☆47Updated last week
• Alhadis / language-roff
  Atom support for Unix manual pages (Groff/Troff) and the historical RUNOFF language.
  ☆17Updated last year
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆39Updated 3 months ago
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated 7 months ago
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆17Updated 5 years ago
• edemaine / comingle
  Multiroom meeting app integrating web tools
  ☆48Updated last year
• SWI-Prolog / npm-swipl-wasm
  SWI-Prolog WebAssembly build as a NPM package
  ☆52Updated last week
• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆38Updated 3 years ago
• rzach / boxes-and-diamonds
  Open textbook on modal logic
  ☆23Updated 2 months ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆55Updated last month
• sagemath / sage_sample
  A sample project illustrating how to write and distribute SageMath extensions
  ☆17Updated 2 years ago
• ionathanch / msc-thesis
  LaTeX source for Sized Dependent Types via Extensional Type Theory
  ☆12Updated 2 years ago
• cmakler / kgjs
  Javascript Renderer for KineticGraphs
  ☆44Updated 3 weeks ago
• Mabi19 / numbers
  An interactive exploration of various number formats
  ☆29Updated 10 months ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆54Updated this week
• simonw / datasette-upload-csvs
  Datasette plugin for uploading CSV files and converting them to database tables
  ☆27Updated last year
• github / open-data-on-github
  Dataset files for the Open Data on GitHub paper
  ☆29Updated 6 months ago
• busytex / busytex
  TexLive programs bundled into a single static binary for x86_64-linux / WASM
  ☆52Updated 6 months ago
• jlaurens / synctex
  Synchronization for TeX
  ☆77Updated last month
• bluefishjs / bluefish-archive
  A SolidJS diagramming framework
  ☆74Updated last year
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year
• suyjuris / obst
  Online BDD Simulation Tool
  ☆21Updated last month
• simonw / datasette-search-all
  Datasette plugin for searching all searchable tables at once
  ☆25Updated last year
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆132Updated this week