-
-
ansible-freebsd-configs Public
Ansible configurations for setting up FreeBSD systems
Jinja UpdatedJan 20, 2025 -
-
HUnit-Plus Public
A test framework expanding on the HUnit Haskell testing package
-
runtime-llvm-plugin Public
LLVM Plugins to generate runtime system glue from the output of the Simple IR code generator
-
freebsd-ports Public
Forked from freebsd/freebsd-portsFreeBSD Ports Tree (Read-Only Mirror)
-
elf-utils Public
ELF manipulation library suitable for embedded Rust
Rust BSD 3-Clause "New" or "Revised" License UpdatedNov 7, 2022 -
-
-
-
ansible-stuff Public
Ansible scripts for setting up and maintaining a variety of servers
-
enumeration Public
Library for implementing enumeration procedures for datatypes
-
arith-encode Public
Practical arithmetic encoding (aka Gödel numbering) library for Haskell.
-
safe-llvm Public
Safe LLVM bindings for Rust
Rust BSD 3-Clause "New" or "Revised" License UpdatedDec 5, 2019 -
stream-ciphers Public
Forked from RustCrypto/stream-ciphersCollection of stream cipher algorithms
Rust UpdatedOct 26, 2019 -
crossbeam Public
Forked from crossbeam-rs/crossbeamTools for concurrent programming in Rust
Rust Apache License 2.0 UpdatedMar 27, 2019 -
llvm-sys.rs Public
Forked from tari/llvm-sys.rsRust bindings to LLVM. (Mirror of https://bitbucket.org/tari/llvm-sys.rs/)
Rust MIT License UpdatedNov 9, 2018 -
-
nss-pam-ldapd Public
Forked from arthurdejong/nss-pam-ldapdNSS and PAM modules for lookups using LDAP
C GNU Lesser General Public License v2.1 UpdatedSep 8, 2018 -
openbsd Public
Forked from libressl/openbsdSource code pulled from OpenBSD for LibreSSL - this includes most of the library and supporting code. The place to contribute to this code is via the OpenBSD CVS tree. Please mail patches to tech@o…
C UpdatedSep 5, 2018 -
bitwise Public
Forked from gnzlbg/bitwisePortable high-level bitwise manipulation algorithms
Rust MIT License UpdatedSep 3, 2018 -
portable Public
Forked from libressl/portableLibreSSL Portable itself. This includes the build scaffold and compatibility layer that builds portable LibreSSL from the OpenBSD source code. Pull requests or patches sent to [email protected] are …
C UpdatedJul 5, 2018 -
maven-jcov-plugin Public
Maven Plugin for JCov Integration
Java GNU General Public License v2.0 UpdatedJun 17, 2018 -
-
talks-public Public
Slides and notes for various talks
TeX GNU General Public License v2.0 UpdatedFeb 4, 2018 -
-
hs-vinegar Public
Haskell multipurpose pickler library
-
mcl Public
Macro-Controlled Logging API
C BSD 3-Clause "New" or "Revised" License UpdatedNov 27, 2017 -
subst Public
Hereditary Subsitutions with de Bruijn Indexes
-
bearssl Public
A fork of BearSSL, for my own work, and for FreeBSD integration
C MIT License UpdatedSep 29, 2017
{{ message }}