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,540 64 Updated Jun 15, 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 313 26 Updated Apr 22, 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,768 160 Updated Apr 3, 2026

Build fast web applications with Rust.

Rust 20,961 873 Updated Jun 19, 2026

A free book about developing secure and robust systems software.

Rust 1,405 43 Updated Jul 6, 2025
Rust 6,437 237 Updated Jun 15, 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,373 689 Updated Jun 19, 2026

Fuzz your Rust code with Google-developed Honggfuzz !

Rust 499 47 Updated May 1, 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,686 2,160 Updated Apr 18, 2024

Mozilla's Zilla Slab Type Family

Shell 450 27 Updated Jun 6, 2023

Open source stenotype engine

Python 2,562 307 Updated Jun 18, 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 48 Updated May 30, 2026

😱 Falsehoods Programmers Believe in

27,483 643 Updated Apr 27, 2026

Homotopy Type Theory proofs in Idris

Idris 22 1 Updated May 22, 2019

Software Foundations in Idris

Idris 458 36 Updated May 15, 2019

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

5,735 771 Updated Jan 14, 2020

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

Haskell 5,953 184 Updated Jun 17, 2026

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

Rust 63,286 11,207 Updated May 25, 2026

Cross-platform Rust rewrite of the GNU coreutils

Rust 23,643 1,923 Updated Jun 19, 2026

📚 Freely available programming books

Python 390,533 66,437 Updated Jun 20, 2026

Tup is a file-based build system.

C 1,255 146 Updated Mar 19, 2026