8000 Nonius (Imre Dávid Kosztka) / Starred · GitHub
[go: up one dir, main page]

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. 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,570 65 Updated Nov 9, 2026

A FTP(S) server for the cloud written in Rust

HTML 322 29 Updated Nov 8, 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,808 165 Updated Apr 3, 2026

Build fast web applications with Rust.

Rust 21,506 925 Updated Nov 9, 2026

A free book about developing secure and robust systems software.

Rust 1,419 48 Updated Jul 6, 2025
Rust 6,540 240 Updated Nov 10, 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,903 803 Updated Nov 11, 2026

Fuzz your Rust code with Google-developed Honggfuzz !

Rust 503 48 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,719 2,145 Updated Apr 18, 2024

Mozilla's Zilla Slab Type Family

Shell 461 28 Updated Jun 6, 2023

Open source stenotype engine

Python 2,607 312 Updated Oct 20, 2026

Async, cloud orientated FTP(S) server library with extensions

Rust 221 53 Updated Nov 8, 2026

😱 Falsehoods Programmers Believe in

27,851 651 Updated Nov 9, 2026

Homotopy Type Theory proofs in Idris

Idris 22 1 Updated May 22, 2019

Software Foundations in Idris

Idris 460 36 Updated May 15, 2019

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

5,783 770 Updated Jan 14, 2020

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

Haskell 6,102 189 Updated Nov 4, 2026

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

Rust 64,643 11,293 Updated Nov 10, 2026

Cross-platform Rust rewrite of the GNU coreutils

Rust 24,356 2,166 Updated Nov 11, 2026

📚 Freely available programming books

Python 401,429 67,631 Updated Nov 7, 2026

Tup is a file-based build system.

C 1,269 146 Updated Jul 30, 2026
0