Pinned Repositories
9p2000
Plan9 protocol implementation in Idris using @edwinb's Protocols
BSGSKit
A collection of Base and Strong Generating Set Implementations
cloudgap
JupyterHub styling for https://cloud.gap-system.org/
coignear
Finally doing CGT in Racket.
gap.rkt
Racket bindings for GAP
GAPSyntaxTreeTools
GAP Abstract Syntax Tree Tools
idris-c-boehm
Idris Codegen that uses the Boehm garbage collector
jupyter-kernel-gap
Jupyter kernels for GAP
py-gap
Python bindings for GAP
walrus
Computational Methods for Finitely Generated Monoids and Groups
markuspf's Repositories
markuspf/9p2000
Plan9 protocol implementation in Idris using @edwinb's Protocols
markuspf/idris-c-boehm
Idris Codegen that uses the Boehm garbage collector
markuspf/bash_kernel
A bash kernel for IPython
markuspf/benchtools
Benchmarking tools for GAP
markuspf/cabal
Official upstream development repository for Cabal and cabal-install
markuspf/cvec
Compressed vectors and matrices over finite fields
markuspf/example
GAP Example Package
markuspf/freebsd
FreeBSD src tree
markuspf/gap-distribution
markuspf/genss
The GAP package genss for randomised Schreier-Sims
markuspf/idris-avr
An attempt at an AVR codegen and RTS for idris
markuspf/idris-bytes
FFI-based byte buffers for Idris
markuspf/idris-ct
Category Theory in Idris
markuspf/idris-ffi
Stabs at improving idris' ffi
markuspf/idris-llvm
Idris LLVM codegen factored out
markuspf/idris-trans
Transformation semigroups, monoids, permutation groups in idris
markuspf/idris-vim
Idris mode for vim
markuspf/libzmq
ZeroMQ core engine in C++
markuspf/lightyear
Parser combinators for Idris
markuspf/llvm-general
Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)
markuspf/MatricesForHomalg
Matrices for the homalg project
markuspf/parasols
Parallel solvers for hard problems
markuspf/parsetools
[UNMAINTAINED] Erlang/OTP Parsetools
markuspf/pin-froidure
Different Implementations of the Pin-Froidure Enumeration Procedure for Semigroups
markuspf/polarssl
A portable, easy to use, readable and flexible SSL library (dual-licensed, with FOSS exceptions)
markuspf/Protocols
A DSL for describing and implementing communication protocols
markuspf/recog
The GAP package recog to collect methods for constructive recognition
markuspf/recogbase
GAP package recogbase for constructive recognition of groups
markuspf/rust
a safe, concurrent, practical language
markuspf/scm
[UNMAINTAINED] The Concurrent Schemer