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/arangorocks-rs
ArangoDB RocksDB access in Rust
markuspf/racket-etf
Erlang's external term format
markuspf/walrus
Computational Methods for Finitely Generated Monoids and Groups
markuspf/alligator
markuspf/antidote
A planet scale, highly available, transactional database built on CRDT technology
markuspf/brag
Racket DSL for generating parsers from BNF grammars
markuspf/chibi-scheme
Official chibi-scheme repository
markuspf/dragonfly
A modern replacement for Redis and Memcached
markuspf/enigma
An Erlang VM implementation in Rust
markuspf/frantic
markuspf/gwen
Graphs n such.
markuspf/Idris2
A purely functional programming language with first class types
markuspf/Idris2-Erlang
Erlang code generator for Idris 2
markuspf/idris2-server
A dependently typed server framework for Idris
markuspf/jupyter-lol
Jupyter Notebook LOL
markuspf/lexy
C++ parsing DSL
markuspf/libsemigroups
C++ library for semigroups and monoids
markuspf/mahogany
A stumpwm like Wayland compositor
markuspf/nixos-aarch64-images
Build NixOS images for various ARM single computer boards
markuspf/pregelator
Foxx Application with ArangoDB AIR IDE
markuspf/rocksdb
A library that provides an embeddable, persistent key-value store for fast storage.
markuspf/seastar
High performance server-side application framework
markuspf/velocypack-rs.wiki.
markuspf/wasm3
🚀 The fastest WebAssembly interpreter, and the most universal runtime
markuspf/wasmi
Wasm interpreter in Rust
markuspf/xenium
A C++ library providing various concurrent data structures and reclamation schemes.
markuspf/YACLib
Yet Another Concurrency Library
markuspf/Yaffle
A core language and API for dependently typed languages
markuspf/zigbee-herdsman-converters
Collection of device converters to be used with zigbee-herdsman
markuspf/zigbee2mqtt
Zigbee 🐝 to MQTT bridge 🌉, get rid of your proprietary Zigbee bridges 🔨