Pinned Repositories
BacktrackKit
A (hopefully) readable implenentation of Jeffrey Leon's Partition Backtrack framework
gap
GAP - Groups, Algorithms, Programming - a System for Computational Discrete Algebra
gap-web-demo
GAPCoverage
A vagrant VM to gather coverage of GAP
gapcpp
GAP <-> C++ interface
language-gap
visual studio code highlighting for the gap language
QuickCheck
A "QuickCheck" library for the GAP language
sage-windows
Build tools for the Sagemath Windows installer
stacscheck
St Andrews Computer Science Checker
ChrisJefferson's Repositories
ChrisJefferson/stacscheck
St Andrews Computer Science Checker
ChrisJefferson/QuickCheck
A "QuickCheck" library for the GAP language
ChrisJefferson/sage-windows
Build tools for the Sagemath Windows installer
ChrisJefferson/gap
GAP - Groups, Algorithms, Programming - a System for Computational Discrete Algebra
ChrisJefferson/io
GAP package IO to do input and output
ChrisJefferson/sexdiffpub
ChrisJefferson/awesome-hexo
A curated list of awesome things related to Hexo
ChrisJefferson/AxumSession
Axum Session Management Libraries that use Sqlx
ChrisJefferson/codebraid
Live code in Pandoc Markdown
ChrisJefferson/combistructures
ChrisJefferson/conjure-notebook
ChrisJefferson/drawsvg
Programmatically generate SVG (vector) images, animations, and interactive Jupyter widgets
ChrisJefferson/dtrx
Do The Right Extraction
ChrisJefferson/flamegraph
Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3
ChrisJefferson/GapWWW
Source for the GAP website
ChrisJefferson/gather-gap-undocumented
Find undocumented GAP functions
ChrisJefferson/gpt-cli
Command-line interface for ChatGPT, Claude and Bard
ChrisJefferson/hexo-renderer-pandoc
A pandoc-markdown-flavor renderer for hexo.
ChrisJefferson/hexo-theme-landscape
A brand new default theme for Hexo.
ChrisJefferson/htmx
</> htmx - high power tools for HTML
ChrisJefferson/jupyterlite-test
ChrisJefferson/NormalizInterface
A package for using normaliz from within GAP
ChrisJefferson/quarto-cli
Open-source scientific and technical publishing system built on Pandoc.
ChrisJefferson/rust
Empowering everyone to build reliable and efficient software.
ChrisJefferson/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
ChrisJefferson/rustsat
This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of use without giving up on performance.
ChrisJefferson/scenery
A dead simple Love2D SceneManager
ChrisJefferson/Semigroups
The GAP package Semigroups
ChrisJefferson/svgdotjs.github.io
Documentation and website for SVG.js
ChrisJefferson/vscode-love2d-template
read it again