Alternatives and similar repositories for quizicist:

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

• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆37Updated 2 years ago
• openwebwork / pg
  Problem rendering engine for WeBWorK
  ☆46Updated this week
• cognitive-engineering-lab / doclang-benchmark
  ☆14Updated last year
• scaomath / copilot-funny-demos
  Writing a fake paper? Chat about math? GitHub copilot can do lots of things...
  ☆20Updated 3 years ago
• jupyter-book / myst-spec
  MyST is designed to create publication-quality, computational documents written entirely in Markdown.
  ☆21Updated 3 months ago
• pedal-edu / pedal
  A collection of tools to analyze student's Python source code
  ☆30Updated last month
• QasimWani / gct
  Graphical Code Tracer (GCT): Visualize code at lightning speed
  ☆52Updated 6 months ago
• ryanfox / video-to-sqlite
  Extract metadata from a video to an sqlite database
  ☆20Updated 8 months ago
• schemadesign / gist
  ☆24Updated 3 years ago
• numfocus / jobs-board
  Minimalist jobs board implementation
  ☆18Updated 4 months ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆36Updated last year
• thesephist / paper.css
  Lightweight, modern CSS to add some flair to your web-things 📜
  ☆43Updated 4 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆31Updated last year
• SWI-Prolog / npm-swipl-wasm
  SWI-Prolog WebAssembly build as a NPM package
  ☆43Updated this week
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆29Updated 2 years ago
• b3 / include-code-files
  Include code from source files in pandoc
  ☆15Updated last year
• mabotkin / zpordle
  A number guessing game with a p-adic twist.
  ☆9Updated last year
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆71Updated this week
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆43Updated last week
• impermeable / waterproof
  Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…
  ☆41Updated 10 months ago
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆57Updated this week
• leanprover-community / tutorials4
  Lean 4 tutorial files
  ☆31Updated 8 months ago
• fxpar / markdown-to-bootstrap-pandoc-lua-filter
  A Lua Filter to convert directly markdown into bootstrap components (cards, jumbotrons, carousels, accordions) using Pandoc
  ☆19Updated 2 years ago
• datasette / datasette-studio
  Datasette pre-configured with useful plugins. Experimental alpha.
  ☆28Updated 7 months ago
• rzach / boxes-and-diamonds
  Open textbook on modal logic
  ☆19Updated 3 years ago
• xldenis / whycode
  ☆19Updated last month
• bluefishjs / bluefish-archive
  A SolidJS diagramming framework
  ☆74Updated 5 months ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• FStarLang / steel
  The Steel separation logic library for F*
  ☆32Updated 2 weeks ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated last week