-
RPTU University Kaiserslautern-Landau
- Kaiserslautern, Germany
-
02:00
(UTC +01:00)
Highlights
- Pro
Stars
repository for JuliaMono, a monospaced font with reasonable Unicode support.
Pure Julia implementation of a terminal pager
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
A modern, web-based SSH console and key management tool. Bastillion gives you a clean, browser-based way to manage SSH access across all your systems. Think of it like a bastion host with a friendl…
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