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
io
GAP package IO to do input and output
language-gap
visual studio code highlighting for the gap language
QuickCheck
A "QuickCheck" library for the GAP language
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/gap
GAP - Groups, Algorithms, Programming - a System for Computational Discrete Algebra
ChrisJefferson/gap-web-demo
ChrisJefferson/io
GAP package IO to do input and output
ChrisJefferson/sage-windows
Build tools for the Sagemath Windows installer
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/conjure-notebook
ChrisJefferson/datastructures
Package for Standard Datastructures for (HPC-)GAP
ChrisJefferson/drawsvg
Programmatically generate SVG (vector) images, animations, and interactive Jupyter widgets
ChrisJefferson/dtrx
Do The Right Extraction
ChrisJefferson/elegant
Best theme for Pelican Static Blog Generator
ChrisJefferson/gather-gap-undocumented
Find undocumented GAP functions
ChrisJefferson/gpt-cli
Command-line interface for ChatGPT, Claude and Bard
ChrisJefferson/grape
GRaph Algorithms using PErmutation groups
ChrisJefferson/hexo-renderer-pandoc
A pandoc-markdown-flavor renderer for hexo.
ChrisJefferson/hexo-theme-landscape
A brand new default theme for Hexo.
ChrisJefferson/homalg_project
Deposited packages of the homalg project
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/Semigroups
The GAP package Semigroups
ChrisJefferson/svgdotjs.github.io
Documentation and website for SVG.js
ChrisJefferson/utils
GAP package utils - utility functions collected from other packages