Christopher Jefferson's repositories
stacscheck
St Andrews Computer Science Checker
QuickCheck
A "QuickCheck" library for the GAP language
sage-windows
Build tools for the Sagemath Windows installer
awesome-hexo
A curated list of awesome things related to Hexo
AxumSession
Axum Session Management Libraries that use Sqlx
datastructures
Package for Standard Datastructures for (HPC-)GAP
gather-gap-undocumented
Find undocumented GAP functions
gpt-cli
Command-line interface for ChatGPT, Claude and Bard
hexo-renderer-pandoc
A pandoc-markdown-flavor renderer for hexo.
hexo-theme-landscape
A brand new default theme for Hexo.
homalg_project
Deposited packages of the homalg project
NormalizInterface
A package for using normaliz from within GAP
quarto-cli
Open-source scientific and technical publishing system built on Pandoc.
rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
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.
Semigroups
The GAP package Semigroups
svgdotjs.github.io
Documentation and website for SVG.js