Skip to content
View t4ccer's full-sized avatar

Highlights

  • Pro

Organizations

@NixOS @nix-community

Block or report t4ccer

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
Showing results

An idiomatic, lean, fast & safe pure Rust implementation of Git

Rust 11,725 510 Updated Jul 24, 2026

realhats LaTeX package

TeX 119 1 Updated Apr 5, 2023

Collection of animals and other beings drawn in TikZ

TeX 99 8 Updated Jul 6, 2026

A cross-platform, safe, pure-Rust graphics API.

Rust 17,635 1,370 Updated Jul 23, 2026

📜A simple 2D text renderer for wgpu📜

Rust 139 18 Updated Jul 8, 2026

Emacs: pre-commit integration for Magit.

Emacs Lisp 40 5 Updated Feb 15, 2026

A clean implementation based on AlphaZero for any game in any framework + tutorial + Othello/Gobang/TicTacToe/Connect4 and more

Jupyter Notebook 4,481 1,152 Updated Jan 1, 2025
Rust 6,453 240 Updated Jul 21, 2026

A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

C 5,001 212 Updated Jul 14, 2026
Lean 292 3 Updated Oct 16, 2025

PDF references add-on for Zotero.

JavaScript 2,789 83 Updated Mar 27, 2026

OCRmyPDF adds an OCR text layer to scanned PDF files, allowing them to be searched

Python 34,270 2,364 Updated Jul 22, 2026
Haskell 165 19 Updated Jul 19, 2026

A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!

Haskell 450 72 Updated Jun 29, 2026

A wiki for collaborative work on totally legitimate "category theory"

Nearley 135 5 Updated Jun 21, 2024

Weighs the soul of incoming HTTP requests to stop AI crawlers

Go 20,877 656 Updated Jul 24, 2026

Goldbach conjecture = 25-state turing machine

Lean 44 1 Updated May 21, 2026

A fast, safe, and intuitive DataFrame library.

Haskell 258 49 Updated Jul 24, 2026

An up-to-date listing of all the various Bluetooth Specification-related elements that are defined by our industry (Company IDs, Service UUIDs, Characteristic UUIDs and Descriptor UUIDs), that you …

JavaScript 491 112 Updated Jul 15, 2026

Rust D-Bus crate.

Rust 724 153 Updated Jul 22, 2026

Combinatorial game library in Lean 4

Lean 110 12 Updated Jul 24, 2026

Run nixpkgs-review in GitHub Actions

Rust 211 486 Updated Jul 20, 2026

Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.

Haskell 101 4 Updated Jun 1, 2026

Typst document building in nix

Nix 108 9 Updated Jul 19, 2026

The Serenity Operating System 🐞

C++ 33,649 3,442 Updated Jul 22, 2026

A lightweight single-header cross-platform library for general windowing

C 1,838 84 Updated Jul 14, 2026

Haskell implemented with combinators

Haskell 765 80 Updated Jul 19, 2026

A SQL database in Rust: SQLite-compatible, now also speaking Postgres (experimental). The LLVM of databases.

Rust 23,384 1,201 Updated Jul 23, 2026

A complete harfbuzz's shaping algorithm port to Rust

Rust 667 42 Updated Jun 9, 2025

A tiny Skia subset ported to Rust

Rust 1,607 95 Updated Feb 5, 2026
Next