mackieloeffel Goto Github PK

atom-auto-fold

Atom package for folding

atom-build

:hammer: Build your project directly from the Atom editor

atom-node-debugger

A Nodejs Debugger For Atom

avr-vm

VM with JIT-compiler for ATMega32 written in Rust

battleship

Das beste Spiel, was je geschaffen wurde und je geschaffen werden wird!

c-simplifier

Simplify C source code directories for given root functions

chashmap

Fork of https://gitlab.redox-os.org/redox-os/chashmap

classfile-parser

A parser for Java Classfiles written in rust

company-coq

A Coq IDE build on top of Proof General's Coq mode

coq-opam-archive

Archive for all Coq related OPAM packages organized in various repositories

coq-performance-tests

A library of Coq source files testing for performance regressions on Coq [maintainer=@JasonGross]

coq-record-update

Library to create Coq record update functions

criterion.rs

Statistics-driven benchmarking library for Rust

iris-project

java2dtest

EGit und Java2D Test

jemalloc

jemallocator

Rust allocator using jemalloc as a backend

libz-sys

Cargo package to link to a system libz (zlib)

mackieloeffel.github.io

nachhaltigkeitschallenge

website for a project by CHANGE e.V.

org-java

Org mode files Java parser

orgzly-android

Outliner for taking notes and managing to-do lists

orgzly-documentation

Orgzly documentation

parking_lot

Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.

physik

Mitschrift zu Physik für Naturwissenschaftler I

pl101

rust-libpng-sys

Build script to get libpng compile on Windows. It's horrible. Stay away.

rust-os

An exploration of rust for operating system development

rust-slabmalloc

Simple malloc implementation.

rusty-jvm

An experiment to create a JVM in Rust