Alternatives and similar repositories for quizicist

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

• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆38Updated this week
• ArchiveBox / archivebox-proxy
  Official ArchiveBox MITM proxy: saves URLs of all requests passing through to an ArchiveBox server for archival.
  ☆25Updated 11 months ago
• ErikBjare / chatalysis
  Analyse (group)chat messages. Currently supports: Facebook Messenger. Planned: Signal, Discord, WhatsApp
  ☆40Updated 2 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 2 months ago
• AutomataTutor / automatatutor-frontend
  Scala+lift frontend for automatatutor.com
  ☆10Updated 6 years ago
• cmakler / kgjs
  Javascript Renderer for KineticGraphs
  ☆42Updated 7 months ago
• bluefishjs / bluefish-archive
  A SolidJS diagramming framework
  ☆74Updated 10 months ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆55Updated 9 months ago
• jonathanichikawa / for-all-x
  Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa
  ☆17Updated 2 months ago
• b3 / include-code-files
  Include code from source files in pandoc
  ☆15Updated 2 years ago
• impermeable / waterproof
  Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…
  ☆42Updated last year
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated 4 months ago
• software-tools-books / stjs
  Software Tools in JavaScript
  ☆28Updated 2 years ago
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆28Updated 2 years ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated this week
• amyjko / bookish
  A simple framework for publishing online books.
  ☆72Updated last month
• amyjko / cooperative-software-development
  A short book on cooperative aspects of software engineering.
  ☆62Updated 4 months ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 7 months ago
• susam / mathcask
  A quick starter kit to easily write and share your self-rendering mathematical notes and snippets
  ☆13Updated 3 months ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆52Updated last month
• simonw / llm-markov
  Plugin for LLM adding a Markov chain generating model
  ☆19Updated 11 months ago
• mabotkin / zpordle
  A number guessing game with a p-adic twist.
  ☆9Updated last year
• rzach / boxes-and-diamonds
  Open textbook on modal logic
  ☆23Updated this week
• 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
• edemaine / comingle
  Multiroom meeting app integrating web tools
  ☆47Updated 11 months ago
• datacarpentry / socialsci-workshop
  Social Science Workshop Overview
  ☆17Updated last week
• InfoSansOrdi / pedago-rennes
  Matériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes
  ☆19Updated last month
• thesephist / paper.css
  Lightweight, modern CSS to add some flair to your web-things 📜
  ☆44Updated 9 months ago
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated 9 months ago
• djvelleman / HTPILeanPackage
  ☆31Updated 2 weeks ago