cognitive-engineering-lab / quizicistLinks
AI-powered quiz generator
β26Updated 2 years ago
Alternatives and similar repositories for quizicist
Users that are interested in quizicist are comparing it to the libraries listed below
Sorting:
- A collection of tools to analyze student's Python source codeβ31Updated 2 weeks ago
- An online blackboard π with fridge magnets ππ§² for teaching, and making animations π and presentations β. All of that in a lightweighβ¦β195Updated last month
- π§ Penguins in LaTeX with TikZβ82Updated 2 weeks ago
- A simple framework for publishing online books.β73Updated 4 months ago
- 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
- P.D. Magnus' forallx logic textbookβ67Updated 5 months ago
- Problem rendering engine for WeBWorKβ47Updated last week
- Atom support for Unix manual pages (Groff/Troff) and the historical RUNOFF language.β17Updated last year
- Tim Button's open textbook on set theoryβ39Updated 3 months ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).β32Updated 7 months ago
- A solver for halting problem of Brainfuck programsβ17Updated 5 years ago
- Multiroom meeting app integrating web toolsβ48Updated last year
- SWI-Prolog WebAssembly build as a NPM packageβ52Updated last week
- Xy-pic extension for MathJax version 3β38Updated 3 years ago
- Open textbook on modal logicβ23Updated 2 months ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)β55Updated last month
- A sample project illustrating how to write and distribute SageMath extensionsβ17Updated 2 years ago
- LaTeX source for Sized Dependent Types via Extensional Type Theoryβ12Updated 2 years ago
- Javascript Renderer for KineticGraphsβ44Updated 3 weeks ago
- An interactive exploration of various number formatsβ29Updated 10 months ago
- A semantic Extension of TeX/LaTeXβ54Updated this week
- Datasette plugin for uploading CSV files and converting them to database tablesβ27Updated last year
- Dataset files for the Open Data on GitHub paperβ29Updated 6 months ago
- TexLive programs bundled into a single static binary for x86_64-linux / WASMβ52Updated 6 months ago
- Synchronization for TeXβ77Updated last month
- A SolidJS diagramming frameworkβ74Updated last year
- Jupyter kernel for Coqβ95Updated last year
- Online BDD Simulation Toolβ21Updated last month
- Datasette plugin for searching all searchable tables at onceβ25Updated last year
- A Low Barrier Proof Assistantβ132Updated this week