margnus1 Goto Github PK

croc

Where's croc game and player

cuter

A concolic testing tool for the Erlang functional programming language.

dotfiles

elixir

Elixir is a dynamic, functional language designed for building scalable and maintainable applications

epiphany3-mesh-flaw

Demonstrates a flaw in the Epiphany-III mesh network

gitlab-mirrors

A set of scripts adding the ability of managing remote mirrors to GitLab.

gmperl

Erlang NIF GNU MP bindings

go-deepcopy

A polymorphic DeepCopy for Go using reflection.

gw2-reshade-map

Small utility that continously writes the current Guild Wars 2 map id to a header file for inclusion in a ReShade preset.

immer

Postmodern immutable and persistent data structures for C++

kid-mud

An Erlang MUD

linux

Kernel source tree for Raspberry Pi Foundation-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://www.raspberrypi.org/forum

llvm

Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

memorax

Prototype tool for verification and automatic fence insertion for parallel programs under relaxed memory models. Please see the main repository at https://github.com/memorax/memorax.

micro-c

A compiler from a C language subset to MIPS.

murmerl3

Pure erlang implementation of the MurmurHash3 algorithm

nano-symex

A tiny symbolic execution engine

nidhugg

Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is particularly useful for programs written in C/pthreads. Currently Nidhugg supports the SC, TSO, PSO, POWER and ARM (partial) memory models.

otp

Erlang/OTP on Adapteva's Epiphany

pinerl

Pin operator for the Erlang language as a parse transform

planning

A simple planning problem solver

regex

A minimalistic Standard ML Regex library

swsc

This tool has now merged with nidhugg/nidhugg and will no longer be developed here