cognitive-engineering-lab / quizicist
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:
- Javascript Renderer for KineticGraphs☆42Updated 6 months ago
- A quick starter kit to easily write and share your self-rendering mathematical notes and snippets☆13Updated last month
- P.D. Magnus' forallx logic textbook☆67Updated last month
- Tim Button's open textbook on set theory☆34Updated last year
- 😎 A community-curated list of awesome lawtech software and learning resources for legal technology and design.☆23Updated 5 years ago
- Writing a fake paper? Chat about math? GitHub copilot can do lots of things...☆20Updated 3 years ago
- Problem rendering engine for WeBWorK☆47Updated this week
- Datasette enrichment for analyzing row data using OpenAI's GPT models☆19Updated last year
- Online BDD Simulation Tool☆18Updated 3 years ago
- A number guessing game with a p-adic twist.☆9Updated last year
- Lightweight, modern CSS to add some flair to your web-things 📜☆44Updated 7 months ago
- Bonn Lean course for winter 24/25☆29Updated 4 months ago
- A Python library designed for scraping data from the SCP wiki.☆15Updated 4 years ago
- ☆12Updated 6 months ago
- Platogram: Unlock the power of knowledge stored in audio.☆30Updated 8 months ago
- ☆14Updated last year
- image-to-text model for PDF.js☆36Updated 2 months ago
- Datasette pre-configured with useful plugins. Experimental alpha.☆28Updated 11 months ago
- SMTscope automatically analyses and visualises SMT solver execution traces.☆37Updated last month
- Benchmark structured generation libraries☆27Updated 6 months ago
- minimalistic symbolic term rewriting framework☆15Updated last week
- Template for a Markdown-based docs site hosted on GH Pages☆19Updated 2 years ago
- Chrome Extension for exploring Hugging Face datasets 🔎☆50Updated 7 months ago
- a bot for explain xkcd☆13Updated last week
- ☆13Updated 2 months ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 3 months ago
- A customizable GPT in a single page, using OpenAI models text-embedding-ada-002, tts-1, whisper-1, dall-e-3, and gpt-4-vision-preview☆14Updated 10 months ago
- Logic and Mechanized Reasoning☆101Updated 3 months ago
- A curated list of awesome Version control tools - clients, diffs etc.☆13Updated 8 years ago
- Code accompanying the paper "R-U-SURE? Uncertainty-Aware Code Suggestions By Maximizing Utility Across Random User Intents"☆19Updated 2 months ago