markuspf Goto Github PK

mitm

A GAP package for annotating functions with their expected output filters.

mitm_proof_of_concept

the minimal proof of concept project based on the mitm system

mitm_singular

Singular, MitM, n stuff

mmt

The MMT Language and System

mmt-mode

Emacs Mode for dealing with MMT code

modulargroup

newss

A new GAP implementation of the Schreier–Sims algorithm.

nimrod

Nimrod is a compiled, garbage-collected systems programming language which has an excellent productivity/performance ratio. Nimrod's design focuses on efficiency, expressiveness, elegance (in the order of priority).

nixos-aarch64-images

Build NixOS images for various ARM single computer boards

ocaml

The core OCaml system: compilers, runtime system, base libraries

opendreamkit

Main repository for sharing files and documents about OpenDreamKit

openmath

OpenMath functionality in GAP

orb

The GAP package orb for advanced orbit enumerations

orbitalgraphs

GAP Computations with Orbital Graphs

origamis

Some experimental computations with Origamis

packagemaker

A simple GAP script for creating a GAP package skeleton

parasols

Parallel solvers for hard problems

pariinterface

An interface to the PARI computer algebra library

parsetools

[UNMAINTAINED] Erlang/OTP Parsetools

permutat

An implementation of permutations for GAP in pure GAP

pin-froidure

Different Implementations of the Pin-Froidure Enumeration Procedure for Semigroups

polarssl

A portable, easy to use, readable and flexible SSL library (dual-licensed, with FOSS exceptions)

polycyclic

Computation with polycyclic groups

pregelator

Foxx Application with ArangoDB AIR IDE

primgrp

GAP Primitive Groups Library

profiling

GAP profiling output

protocols

A DSL for describing and implementing communication protocols

py-gap

Python bindings for GAP

pyarango

Python Driver for ArangoDB with built-in validation

pychao

mostly sequential IRC-Bot in python, mainly for Facts and Newsfeeds, interacts with "WebChao"-Blog