Giters
Markus Pfeiffer (markuspf)

markuspf

Geek Repo

64

followers

42

following

26

stars

Company: ArangoDB GmbH

Location:United Kingdom

Github PK Tool:Github PK Tool

Organizations
CIRCA-StAndrews
gap-packages
gap-system
idris-hackers
OpenDreamKit
ReScience

Markus Pfeiffer's repositories

arangorocks-rs

ArangoDB RocksDB access in Rust

Language:RustLicense:MITStargazers:1Issues:1Issues:0

racket-etf

Erlang's external term format

Language:RacketLicense:NOASSERTIONStargazers:1Issues:1Issues:0

alligator

Language:ElixirStargazers:0Issues:1Issues:0

antidote

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

Language:ErlangLicense:Apache-2.0Stargazers:0Issues:0Issues:0

brag

Racket DSL for generating parsers from BNF grammars

Language:RacketLicense:MITStargazers:0Issues:1Issues:0

chibi-scheme

Official chibi-scheme repository

Language:SchemeLicense:NOASSERTIONStargazers:0Issues:0Issues:0

Digraphs

The GAP package Digraphs

Language:GAPLicense:NOASSERTIONStargazers:0Issues:0Issues:0

dragonfly

A modern replacement for Redis and Memcached

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

enigma

An Erlang VM implementation in Rust

Language:RustLicense:MPL-2.0Stargazers:0Issues:0Issues:0

frantic

Language:RustStargazers:0Issues:1Issues:0

gwen

Graphs n such.

Language:C++Stargazers:0Issues:2Issues:0

Idris2

A purely functional programming language with first class types

Language:IdrisLicense:NOASSERTIONStargazers:0Issues:1Issues:0

Idris2-Erlang

Erlang code generator for Idris 2

Language:IdrisLicense:NOASSERTIONStargazers:0Issues:0Issues:0

idris2-server

A dependently typed server framework for Idris

Language:IdrisStargazers:0Issues:0Issues:0

jupyter-lol

Jupyter Notebook LOL

Language:Jupyter NotebookStargazers:0Issues:2Issues:0

lexy

C++ parsing DSL

Language:C++License:BSL-1.0Stargazers:0Issues:1Issues:0

mahogany

A stumpwm like Wayland compositor

Language:Common LispLicense:GPL-2.0Stargazers:0Issues:0Issues:0

nixos-aarch64-images

Build NixOS images for various ARM single computer boards

Language:PythonStargazers:0Issues:0Issues:0

pregelator

Foxx Application with ArangoDB AIR IDE

Language:JavaScriptStargazers:0Issues:1Issues:0

rocksdb

A library that provides an embeddable, persistent key-value store for fast storage.

Language:C++License:GPL-2.0Stargazers:0Issues:0Issues:0

seastar

High performance server-side application framework

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

Semigroups

The GAP package Semigroups

Language:GAPLicense:NOASSERTIONStargazers:0Issues:2Issues:0

velocypack-rs.wiki.

Stargazers:0Issues:2Issues:0

wasm3

🚀 The fastest WebAssembly interpreter, and the most universal runtime

Language:CLicense:MITStargazers:0Issues:1Issues:0

wasmi

Wasm interpreter in Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

xenium

A C++ library providing various concurrent data structures and reclamation schemes.

Language:C++License:MITStargazers:0Issues:0Issues:0

YACLib

Yet Another Concurrency Library

Language:C++License:MITStargazers:0Issues:0Issues:0

Yaffle

A core language and API for dependently typed languages

Language:IdrisStargazers:0Issues:1Issues:0

zigbee-herdsman-converters

Collection of device converters to be used with zigbee-herdsman

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

zigbee2mqtt

Zigbee 🐝 to MQTT bridge 🌉, get rid of your proprietary Zigbee bridges 🔨

Language:JavaScriptLicense:GPL-3.0Stargazers:0Issues:1Issues:0