ChrisJefferson/stacscheck
St Andrews Computer Science Checker
AI Professor who does too much coding
Repositories
ChrisJefferson/dtrx
Do The Right Extraction
ChrisJefferson/darkmount
rust controller for the bequiet darkmount keyboard
ChrisJefferson/tree-sitter
An incremental parsing system for programming tools
ChrisJefferson/conjure-oxide
ChrisJefferson/codebraid
Live code in Pandoc Markdown
ChrisJefferson/mlua
High level Lua 5.5/5.4/5.3/5.2/5.1 (including LuaJIT) and Luau bindings to Rust with async/await support
ChrisJefferson/gap
GAP - Groups, Algorithms, Programming - a System for Computational Discrete Algebra
ChrisJefferson/cute-sqlite-kv
A very simple key-value sqlite wrapper
ChrisJefferson/LocalNR
The LocalNR package is a data library of local nearrings of small orders
ChrisJefferson/taskpaper-mcp
MCP server for reading and writing TaskPaper plain text files.
ChrisJefferson/quarto-cli
Open-source scientific and technical publishing system built on Pandoc.
ChrisJefferson/Oscar.jl
A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.
ChrisJefferson/TorranceSemple.github.io
ChrisJefferson/csplib
A benchmark library for constraints
ChrisJefferson/pysat
A toolkit for SAT-based prototyping in Python
ChrisJefferson/nikola
A static website and blog generator
ChrisJefferson/ReleaseTools
ChrisJefferson/eevee
A Material Design theme for the Pelican static site generator.
ChrisJefferson/MA32009
Mathematical Biology 1
ChrisJefferson/MA42002
Mathematical Biology II
ChrisJefferson/fr
GAP package for functionally recursive (automata) groups in GAP
ChrisJefferson/GAP.jl
GAP packages for Julia integration
ChrisJefferson/combistructures
ChrisJefferson/language-gap
visual studio code highlighting for the gap language
ChrisJefferson/PackageMaker
A simple GAP script for creating a GAP package skeleton
ChrisJefferson/scenery
A dead simple Love2D SceneManager
ChrisJefferson/vscode-love2d-template
read it again
ChrisJefferson/sage-windows
Build tools for the Sagemath Windows installer
ChrisJefferson/htmx
</> htmx - high power tools for HTML