cognitive-engineering-lab / quizicist

Related projects ⓘ

Alternatives and complementary repositories for quizicist

• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆35Updated 2 years ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆51Updated 2 months ago
• dginev / ar5iv-css
  Some CSS experiments for arXiv HTML documents converted via latexml
  ☆16Updated last month
• bluefishjs / bluefish-archive
  A SolidJS diagramming framework
  ☆74Updated 3 months ago
• mabotkin / zpordle
  A number guessing game with a p-adic twist.
  ☆9Updated last year
• scaomath / copilot-funny-demos
  Writing a fake paper? Chat about math? GitHub copilot can do lots of things...
  ☆20Updated 3 years ago
• DSMejantel / Ecole_inclusive
  ☆11Updated 2 weeks ago
• domoritz / clingo-wasm
  Clingo on the web
  ☆33Updated last week
• EagleoutIce / tikzpingus
  🐧 Penguins in LaTeX with TikZ
  ☆67Updated this week
• thesephist / paper.css
  Lightweight, modern CSS to add some flair to your web-things 📜
  ☆42Updated last month
• simonw / llm-markov
  Plugin for LLM adding a Markov chain generating model
  ☆15Updated 4 months ago
• jonathanichikawa / for-all-x
  Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa
  ☆16Updated 7 months ago
• 350org / poster-generator
  Web app for creating images for easy printing. Based on the /image-generator repo.
  ☆11Updated 6 years ago
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆44Updated this week
• mozilla / distilvit
  image-to-text model for PDF.js
  ☆32Updated 2 months ago
• InfoSansOrdi / pedago-rennes
  Matériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes
  ☆19Updated 6 months ago
• anvaka / map-of-github-data
  This repository contains tiles and data for the map of github
  ☆70Updated 8 months ago
• datasette / datasette-write-ui
  A Datasette plugin that adds UI elements to edit, insert, or delete rows in SQLite tables
  ☆18Updated last month
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆206Updated this week
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆30Updated last year
• datasette / datasette-enrichments-gpt
  Datasette enrichment for analyzing row data using OpenAI's GPT models
  ☆19Updated 6 months ago
• demondragong / deathbyai
  A list of professions, apps, and human activities that are ripe for replacement by artificial intelligence. But not really.
  ☆20Updated last year
• software-tools-books / stjs
  Software Tools in JavaScript
  ☆28Updated last year
• MiniZinc / minizinc-js
  Use MiniZinc in the browser or with NodeJS
  ☆31Updated this week
• microsoft / data-science-editor
  A drag and drop data science editor
  ☆34Updated last year
• kavon / yaml-ast
  visualize an AST serialized as YAML
  ☆12Updated last year
• pedal-edu / pedal
  A collection of tools to analyze student's Python source code
  ☆29Updated last week
• amyjko / bookish
  A simple framework for publishing online books.
  ☆69Updated this week
• exsitu-projects / lorgnette
  👓 Lorgnette is a framework to create code editors with malleable projections of pieces of code.
  ☆15Updated 6 months ago
• impermeable / waterproof
  Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…
  ☆40Updated 8 months ago