markuspf Goto Github PK

9p2000

Plan9 protocol implementation in Idris using @edwinb's Protocols

alligator

anatph-examples

A collection of examples to test pregroup algorithms

antidote

A planet scale, highly available, transactional database built on CRDT technology

arangodb-instance-manager

arangodb-training

Some training docs for ArangoDB development

arangorocks-rs

ArangoDB RocksDB access in Rust

armininion

An AArch64 toy kernel

autodoc

A GAP Package to produce documentations.

backtrackkit

bash_kernel

A bash kernel for IPython

benchtools

Benchmarking tools for GAP

blodwen

A little toy...

brag

Racket DSL for generating parsers from BNF grammars

bsgskit

A collection of Base and Strong Generating Set Implementations

cabal

Official upstream development repository for Cabal and cabal-install

char0gauss

Linear algebra stuff

chibi-scheme

Official chibi-scheme repository

cloudgap

JupyterHub styling for https://cloud.gap-system.org/

codemirror

In-browser code editor

cohomolo

Cohomology groups of finite groups on finite modules

coignear

Finally doing CGT in Racket.

consolekit2

ConsoleKit2 is a framework for defining and tracking users, login sessions, and seats.

crypting

Hashes and Crypto in GAP

curlinterface

Easy web access for GAP

cvec

Compressed vectors and matrices over finite fields

cyclone

:cyclone: The Cyclone Scheme compiler: Cheney on the M.T.A with native threads.

datastructures

Standard Datastructures for (HPC-)GAP

deepthoughtpackage

digraphs

The GAP package Digraphs