cognitive-engineering-lab / quizicistLinks
AI-powered quiz generator
β27Updated 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 SolidJS diagramming frameworkβ74Updated last year
- An online blackboard π with fridge magnets ππ§² for teaching, and making animations π and presentations β. All of that in a lightweighβ¦β195Updated 3 weeks ago
- P.D. Magnus' forallx logic textbookβ67Updated 5 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
- Problem rendering engine for WeBWorKβ48Updated 3 weeks ago
- Javascript Renderer for KineticGraphsβ42Updated last week
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)β55Updated last week
- SWI-Prolog WebAssembly build as a NPM packageβ52Updated this week
- Xy-pic extension for MathJax version 3β38Updated 3 years ago
- JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown Universityβ17Updated 7 years ago
- Browser extension to check and uptate archival of repositories in Software Heritageβ16Updated last year
- Open textbook on modal logicβ23Updated 2 months ago
- multilingual dictionary of mathematical terminologyβ20Updated last month
- β38Updated 2 years ago
- Writing a fake paper? Chat about math? GitHub copilot can do lots of things...β20Updated 4 years ago
- A customisable NodeJS server for creating and hosting highly interactive online courses.β43Updated 6 months ago
- JavaScript expression parsing, MathML rendering and CAS.β17Updated 3 months ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).β32Updated 6 months ago
- This repository contains the source html files for the website complex-analysis.comβ16Updated 2 months ago
- Datasette plugin providing a UI for executing SQL writes against the databaseβ12Updated last year
- Compiler for the M language, used to compute the income tax of French taxpayersβ197Updated 2 weeks ago
- Sphinx extension for quizdown.jsβ15Updated 2 years ago
- LaTeX source for Sized Dependent Types via Extensional Type Theoryβ12Updated 2 years ago
- A website template for the modern web. βοΈ Star to support our work!β14Updated 4 months ago
- Tim Button's open textbook on set theoryβ39Updated 2 months ago
- Syntax trees for VSCode using tree-sitterβ50Updated this week
- Jupyter kernel for Coqβ95Updated last year
- Pedagogical first-order prover in Pythonβ76Updated 2 months ago
- Create, edit, share, and publish scientific and technical documents.β124Updated last week
- Cocreate Shared Whiteboard/Drawingβ217Updated 3 months ago