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 is supported. This note will only be visible to 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,542 64 Updated Jul 13, 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 314 27 Updated Jul 19, 2026

A fuzzing tool for incremental compilation that walks git history

Rust 34 2 Updated May 7, 2018

Automated property based testing for Rust (with shrinking).

Rust 2,775 161 Updated Apr 3, 2026

Build fast web applications with Rust.

Rust 21,121 880 Updated Jul 25, 2026

A free book about developing secure and robust systems software.

Rust 1,409 44 Updated Jul 6, 2025
Rust 6,460 240 Updated Jul 26, 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,492 707 Updated Jul 21, 2026

Fuzz your Rust code with Google-developed Honggfuzz !

Rust 499 47 Updated Jul 7, 2026

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,700 2,157 Updated Apr 18, 2024

Mozilla's Zilla Slab Type Family

Shell 454 28 Updated Jun 6, 2023

Open source stenotype engine

Python 2,570 308 Updated Jul 26, 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 219 49 Updated Jul 21, 2026

😱 Falsehoods Programmers Believe in

27,565 644 Updated Apr 27, 2026

Homotopy Type Theory proofs in Idris

Idris 22 1 Updated May 22, 2019

Software Foundations in Idris

Idris 459 36 Updated May 15, 2019

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

5,745 771 Updated Jan 14, 2020

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

Haskell 5,989 185 Updated Jun 29, 2026

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

Rust 63,622 11,232 Updated Jul 18, 2026

Cross-platform Rust rewrite of the GNU coreutils

Rust 23,822 1,966 Updated Jul 26, 2026

📚 Freely available programming books

Python 393,087 66,572 Updated Jul 25, 2026

Tup is a file-based build system.

C 1,253 146 Updated Jul 18, 2026