Skip to content
View ChrisJefferson's full-sized avatar

Highlights

  • Pro

Organizations

@csplib @recomputation @gap-packages
Block or Report

Block or report ChrisJefferson

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Beta Lists are currently in beta. Share feedback and report bugs.
Showing results
GDScript 30 3 Updated Jul 24, 2024

A mod for Stardew Valley that deletes your save if you open the wiki

C# 46 Updated Jun 22, 2024
2 Updated Jul 31, 2024

Happy April Fools' Day!

Rust 9 Updated Jul 23, 2024

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 u…

Rust 10 6 Updated Jul 31, 2024

A command-line benchmarking tool

Rust 21,044 340 Updated Aug 1, 2024

Provides network connectivity to WSL 2 when blocked by VPN

Shell 2,182 154 Updated Jun 3, 2024

Generate PyAnnotate annotations from your pytest tests.

Python 109 10 Updated Jun 7, 2022

Multi-platform parallax wallpaper engine

C 873 12 Updated Jul 9, 2024

Conjure scripts for generating the graph of a lattice

Python 2 Updated Sep 29, 2023

🥺 is sudo at home

Nix 164 4 Updated Jun 10, 2023

An addon for xterm.js to add a PTY layer

TypeScript 79 5 Updated Jul 30, 2024

Modular visual interface for GDB in Python

Python 10,836 762 Updated Mar 11, 2024

Do The Right Extraction

Python 221 10 Updated May 16, 2024
Rust 175 16 Updated Apr 7, 2024

A GAP package for backtrack search in permutation groups with graphs

Rust 7 2 Updated Jul 19, 2024

A "QuickCheck" library for the GAP language

GAP 4 2 Updated Oct 20, 2022

A (hopefully) readable implenentation of Jeffrey Leon's Partition Backtrack framework

GAP 1 Updated Apr 29, 2021

GAP - Groups, Algorithms, Programming - a System for Computational Discrete Algebra

GAP 1 Updated May 22, 2024

GAP package IO to do input and output

GAP 1 Updated Jan 24, 2024
Python 7 3 Updated Mar 18, 2024

Fetch Facebook Birthdays events and create an ICS file for use with calendar apps

Python 420 72 Updated Dec 25, 2023

Turn your favourite regex into FAT32

Rust 999 17 Updated Jul 20, 2022

An accessibility-friendly Hugo theme, ported from the original Cupper project.

HTML 299 190 Updated Jan 4, 2023

A simple, flexible script for versioned backups using btrfs and rsync

Shell 69 11 Updated Jul 6, 2021

Fix the filesystem detection in the Linux Dropbox client

C 145 18 Updated Jun 3, 2020

A theme based on hackers and potatoes

SCSS 41 47 Updated May 19, 2024

Live code in Pandoc Markdown

Python 370 13 Updated Oct 18, 2023

Package for Standard Datastructures for (HPC-)GAP

GAP 7 8 Updated Jun 15, 2024

GAP package utils - utility functions collected from other packages

GAP 5 4 Updated Jun 15, 2024
Next