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,545 66 Updated Aug 10, 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 315 27 Updated Jul 28, 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,781 162 Updated Apr 3, 2026

Build fast web applications with Rust.

Rust 21,192 885 Updated Aug 8, 2026

A free book about developing secure and robust systems software.

Rust 1,409 45 Updated Jul 6, 2025
Rust 6,464 240 Updated Aug 4, 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,546 719 Updated Aug 6, 2026

Fuzz your Rust code with Google-developed Honggfuzz !

Rust 500 47 Updated Aug 4, 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,704 2,155 Updated Apr 18, 2024

Mozilla's Zilla Slab Type Family

Shell 455 28 Updated Jun 6, 2023

Open source stenotype engine

Python 2,573 307 Updated Aug 4, 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 220 48 Updated Jul 21, 2026

😱 Falsehoods Programmers Believe in

27,609 644 Updated Aug 10, 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,751 770 Updated Jan 14, 2020

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

Haskell 6,002 185 Updated Aug 3, 2026

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

Rust 63,834 11,245 Updated Aug 9, 2026

Cross-platform Rust rewrite of the GNU coreutils

Rust 23,904 1,987 Updated Aug 10, 2026

📚 Freely available programming books

Python 394,102 66,636 Updated Aug 7, 2026

Tup is a file-based build system.

C 1,259 146 Updated Jul 30, 2026