Skip to content
View Nonius's full-sized avatar

Organizations

@bolcom

Block or report Nonius

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

The Hylo programming language

Swift 1,478 59 Updated Feb 17, 2026

A FTP(S) server with a couple of twists written in Rust. Follow and talk to us on https://t.me/unftp. Docs on https://unftp.rs

HTML 309 25 Updated Feb 16, 2026

A fuzzing tool for incremental compilation that walks git history

Rust 33 2 Updated May 7, 2018

Automated property based testing for Rust (with shrinking).

Rust 2,698 160 Updated Feb 10, 2026

Build fast web applications with Rust.

Rust 20,106 842 Updated Feb 16, 2026

A free book about developing secure and robust systems software.

Rust 1,387 38 Updated Jul 6, 2025
Rust 6,350 233 Updated Feb 3, 2026

Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various…

Rust 7,002 634 Updated Feb 10, 2026

Fuzz your Rust code with Google-developed Honggfuzz !

Rust 498 44 Updated Nov 1, 2025

The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.

Python 47,576 2,163 Updated Apr 18, 2024

Mozilla's Zilla Slab Type Family

Shell 446 27 Updated Jun 6, 2023

Open source stenotype engine

Python 2,531 303 Updated Feb 12, 2026

Extensible, async, cloud orientated FTP(S) server library and the core of unFTP: https://github.com/bolcom/unFTP. Follow up and talk to us on https://t.me/unftp

Rust 216 45 Updated Feb 16, 2026

😱 Falsehoods Programmers Believe in

27,048 625 Updated Jan 20, 2026

Homotopy Type Theory proofs in Idris

Idris 22 1 Updated May 22, 2019

Software Foundations in Idris

Idris 457 35 Updated May 15, 2019

Angrave's Crowd-Sourced System Programming Book used at UIUC

5,701 772 Updated Jan 14, 2020

A statically typed lisp, without a GC, for real-time applications.

Haskell 5,810 178 Updated Sep 16, 2025

🦀 Small exercises to get you used to reading and writing Rust code!

Rust 61,850 11,139 Updated Jan 22, 2026

Cross-platform Rust rewrite of the GNU coreutils

Rust 22,750 1,770 Updated Feb 17, 2026

📚 Freely available programming books

Python 382,630 65,913 Updated Feb 16, 2026

Tup is a file-based build system.

C 1,242 146 Updated Jul 26, 2025