-
RPTU Kaiserslautern-Landau University
- Kaiserslautern, Germany
-
01:59
(UTC +02:00)
Highlights
- Pro
Stars
Todd-Coxeter coset enumeration using HLT with lookahead.
fingolfin / MIRS
Forked from korhonenmikko/MIRSMAGMA package for computing maximal irreducible solvable subgroups of GL(n,q).
inxi is a full featured CLI system information tool. It is available in most Linux distribution repositories, and does its best to support the BSDs.
Library for Polynomial System Solving through Algebraic Methods
Utilities for English-language quirks in Julia
Apple ][ emulator for MS-DOS, written in 8088 assembly
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.
A classic Mac loaded with everything you'd want
Bastillion is a web-based SSH console that centrally manages administrative access to systems. Web-based administration is combined with management and distribution of user's public SSH keys.
GAP package for Compressed vectors and matrices over finite fields
Package for Standard Datastructures for (HPC-)GAP
A package for using normaliz from within GAP
🥧 HTTPie CLI — modern, user-friendly command-line HTTP client for the API era. JSON support, colors, sessions, downloads, plugins & more.
Github Action to create, update, or add files to Github Releases
A GitHub action to create a pull request for changes to your repository in the actions workspace
Container runtimes on macOS (and Linux) with minimal setup