Alternatives and similar repositories for quizicist:

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

• mabotkin / zpordle
  A number guessing game with a p-adic twist.
  ☆9Updated last year
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆51Updated 5 months ago
• bluefishjs / bluefish-archive
  A SolidJS diagramming framework
  ☆74Updated 6 months ago
• datasette / datasette-studio
  Datasette pre-configured with useful plugins. Experimental alpha.
  ☆28Updated 8 months ago
• ErikBjare / chatalysis
  Analyse (group)chat messages. Currently supports: Facebook Messenger. Planned: Signal, Discord, WhatsApp
  ☆40Updated 2 years ago
• SWI-Prolog / npm-swipl-wasm
  SWI-Prolog WebAssembly build as a NPM package
  ☆45Updated this week
• MiniZinc / minizinc-js
  Use MiniZinc in the browser or with NodeJS
  ☆37Updated last week
• dginev / ar5iv-css
  Some CSS experiments for arXiv HTML documents converted via latexml
  ☆19Updated 4 months ago
• software-tools-books / stjs
  Software Tools in JavaScript
  ☆28Updated last year
• scalable-dynamics / gpt-spa
  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 7 months ago
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆51Updated this week
• AZHenley / papers-ux-ai-programming
  List of research papers of research papers investigating the user experience of AI-powered programming assistants (e.g., Copilot).
  ☆85Updated last year
• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆36Updated 2 years ago
• cognitive-engineering-lab / doclang-benchmark
  ☆14Updated last year
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆35Updated 3 months ago
• ArchiveBox / archivebox-proxy
  Official ArchiveBox MITM proxy: saves URLs of all requests passing through to an ArchiveBox server for archival.
  ☆21Updated 7 months ago
• alexpatel / lean-modal
  modal logic library for LEAN theorem prover
  ☆11Updated 7 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆32Updated last year
• bramses / youtube-transcript-obsidian
  Transcribe a Youtube video's captions with timestamps into Obsidian MD format
  ☆12Updated 2 years ago
• simonw / llm-nomic-api-embed
  Create embeddings for LLM using the Nomic API
  ☆22Updated 3 months ago
• cmakler / kgjs
  Javascript Renderer for KineticGraphs
  ☆42Updated 4 months ago
• rileytomasek / gpt-best-chrome
  Chrome extension for saving ChatGPT threads using gpt.best.
  ☆27Updated last year
• anvaka / map-of-github-data
  This repository contains tiles and data for the map of github
  ☆72Updated last year
• jonathanichikawa / for-all-x
  Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa
  ☆17Updated this week
• mozilla / distilvit
  image-to-text model for PDF.js
  ☆36Updated 2 months ago
• leanprover / verso
  Lean documentation authoring tool
  ☆144Updated this week
• taylorh140 / typst-pintora
  A packaged version of pintora intended as a typst plugin.
  ☆20Updated 2 months ago
• coq-tactician / coq-tactician
  A Seamless, Interactive Tactic Learner and Prover for Coq
  ☆60Updated last month