nmeum

followers

following

stars

Germany

https://git.8pit.net

Organizations

agra-uni-bremen

alpinelinux

RIOT-OS

Sören Tempel's repositories

android-tools

Unoffical CMake-based build system for android command line utilities

Language:CMakeApache-2.0174 13 67

hii

A file-based IRC client inspired by ii

Language:GoGPL-3.034 3 1

creek

A malleable and minimalist status bar for the River compositor

Language:ZigMIT26 20

edward

An extensible POSIX-compatible implementation of the ed(1) text editor

Language:SchemeGPL-3.024 40

depp

No frills static page generator for Git repositories

Language:GoGPL-3.016 3 1

acme-mock

An ACME server implementation performing no validations

Language:GoAGPL-3.02 30

aports

Custom Alpine Linux aports

Language:Shell2 30

tmsim

A fast turing machine simulator with graphviz export functionality

Language:CGPL-3.02 30

mach

A work-in-progress implementation of make(1)

Language:HaskellNOASSERTION1 20

mblaze-ui

A minimal TUI for the mblaze email client

Language:GoGPL-3.01 20

scmdoc

Automatically generate documentation from comments in R7RS Scheme code

Language:HaskellAGPL-3.01 20

angr

A powerful and user-friendly binary analysis platform!

Language:PythonBSD-2-Clause020

angr-platforms

A collection of extensions to angr to handle new platforms

Language:PythonBSD-2-Clause000

bitwuzla

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.

Language:SMTNOASSERTION000

freer-simple

A friendly effect system for Haskell

Language:HaskellBSD-3-Clause010

girc

:bomb: girc is a flexible IRC library for Go :ok_hand:

Language:GoMIT030

guix

Fork of Guix with custom patches that I am presently upstreaming

Language:SchemeGPL-3.0010

guix-channel

A channel for the Guix package manager

Language:SchemeGPL-3.0020

libucontext

ucontext implementation featuring glibc-compatible ABI

Language:AssemblyNOASSERTION010

luks.go

Pure Golang library to manage LUKS partitions

Language:GoMIT010

OpenDoas

A portable fork of the OpenBSD `doas` command

Language:CNOASSERTION010

openssh-portable

Portable OpenSSH

Language:CNOASSERTION010

pdpmake

Public domain POSIX make

Language:CNOASSERTION010

pinentry-bemenu

Pinentry based on bemenu

Language:CGPL-3.0010

qemu-openrc

OpenRC init script for QEMU/KVM (for Gentoo and Alpine Linux)

MIT000

RIOT

RIOT - The friendly OS for IoT

Language:CNOASSERTION020

srfi-214

Fork of <https://github.com/scheme-requests-for-implementation/srfi-214> for CHICKEN

Language:Scheme000

srfi-214-upstream

Flexvectors

000

swaylock

Screen locker for Wayland

MIT000

zk

A plain text note-taking assistant

Language:GoGPL-3.0000