- Bremen, Germany
-
00:10
(UTC +02:00) - https://git.8pit.net
- https://orcid.org/0000-0002-3076-893X
- @[email protected]
Block or Report
Block or report nmeum
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
-
creek Public
A malleable and minimalist status bar for the River compositor
-
A plain text note-taking assistant
Go GNU General Public License v3.0 UpdatedJun 9, 2024 -
android-tools Public
Unoffical CMake-based build system for android command line utilities
-
edward Public
An extensible POSIX-compatible implementation of the ed(1) text editor
-
bitwuzla Public
Forked from bitwuzla/bitwuzlaBitwuzla 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 …
SMT Other UpdatedMay 21, 2024 -
depp Public
No frills static page generator for Git repositories
-
hii Public
A file-based IRC client inspired by ii
-
girc Public
Forked from lrstanley/girc💣 girc is a flexible IRC library for Go 👌
Go MIT License UpdatedMay 19, 2024 -
freer-simple Public
Forked from lexi-lambda/freer-simpleA friendly effect system for Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 16, 2024 -
angr-platforms Public
Forked from angr/angr-platformsA collection of extensions to angr to handle new platforms
Python BSD 2-Clause "Simplified" License UpdatedApr 29, 2024 -
A powerful and user-friendly binary analysis platform!
Python BSD 2-Clause "Simplified" License UpdatedApr 26, 2024 -
openssh-portable Public
Forked from openssh/openssh-portablePortable OpenSSH
C Other UpdatedApr 1, 2024 -
swaylock Public
Forked from swaywm/swaylockScreen locker for Wayland
C MIT License UpdatedMar 30, 2024 -
guix Public
Forked from guix-mirror/guixFork of Guix with custom patches that I am presently upstreaming
Scheme GNU General Public License v3.0 UpdatedMar 28, 2024 -
OpenDoas Public
Forked from Duncaen/OpenDoasA portable fork of the OpenBSD `doas` command
C Other UpdatedMar 3, 2024 -
acme-mock Public
An ACME server implementation performing no validations
-
pinentry-bemenu Public
Forked from t-8ch/pinentry-bemenuPinentry based on bemenu
C GNU General Public License v3.0 UpdatedFeb 25, 2024 -
guix-channel Public
A channel for the Guix package manager
Scheme GNU General Public License v3.0 UpdatedFeb 16, 2024 -
libucontext Public
Forked from kaniini/libucontextucontext implementation featuring glibc-compatible ABI
Assembly Other UpdatedFeb 9, 2024 -
mach Public
A work-in-progress implementation of make(1)
-
-
luks.go Public
Forked from anatol/luks.goPure Golang library to manage LUKS partitions
Go MIT License UpdatedDec 23, 2023 -
mblaze-ui Public
A minimal TUI for the mblaze email client
-
tmsim Public
A fast turing machine simulator with graphviz export functionality
-
zig-riscv-embedded Public
Experimental Zig-based CoAP node for the HiFive1 RISC-V board
-
git2go Public
Forked from libgit2/git2goGit to Go; bindings for libgit2. Like McDonald's but tastier.
Go MIT License UpdatedNov 16, 2023 -
input Public
Prompt for input with readline-like key bindings
-
symex-vp Public
Forked from agra-uni-bremen/symex-vpA concolic testing framework for RISC-V embedded software with support for SystemC peripherals
C++ GNU General Public License v3.0 UpdatedOct 4, 2023 -
insomnia Public
A frontend for the hii IRC client