8000 fanosta (Marcel Nageler) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View fanosta's full-sized avatar

Block or report fanosta

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

A modern alternative to ls

Rust 16,321 305 Updated Jul 12, 2025

Run arbitrary commands when files change

C 5,145 115 Updated Jul 8, 2025
Python 71 22 Updated May 22, 2025

🌙 LunarVim is an IDE layer for Neovim. Completely free and community driven.

Lua 18,948 1,510 Updated Jun 5, 2025

autonomous software apprentice

Go 496 25 Updated Jul 14, 2025

Containerization is a Swift package for running Linux containers on macOS.

Swift 7,503 165 Updated Jul 11, 2025

🗣️ A CLI for on-device speech transcription using Speech.framework on macOS 26

Swift 948 31 Updated Jun 24, 2025

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

Rust 26,646 570 Updated Jul 11, 2025

BreakID, a CNF symmetry-breaking library and tool

C++ 8 3 Updated Jun 18, 2025

Structured BVA

C++ 37 8 Updated Apr 26, 2024

Access large language models from the command-line

Python 8,925 544 Updated Jun 20, 2025

Obsidian 🤝 Quartz. Quartz-compatible Obsidian themes.

CSS 116 6 Updated Jul 14, 2025

Lingeling SAT Solver

C 102 28 Updated Mar 12, 2024

Tools for studying S-boxes

Python 37 19 Updated May 16, 2025

DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm

C++ 15 1 Updated Nov 29, 2023

Proof Of Concept that exploits PuTTy CVE-2024-31497.

Python 10 3 Updated May 11, 2024

5th Edition SRD in Markdown

Python 209 89 Updated Jan 11, 2024

Dungeons & Dragons 5th Edition SRD converted to Markdown.

386 104 Updated Jan 27, 2025

The Dnd5e SRD in Markdown for Obsidian. Also, a place for 5e Homebrew.

CSS 48 7 Updated Jun 4, 2024

DeDRM tools for ebooks

Python 8,809 374 Updated Nov 10, 2024

↕️ A small tablesorter in plain JavaScript

JavaScript 1,134 182 Updated Apr 21, 2025
Jupyter Notebook 5 Updated May 5, 2025

Powerful macOS menu bar customization tool

Swift 3,358 98 Updated May 20, 2025

Python tool for converting files and office documents to Markdown.

Python 60,636 3,215 Updated Jun 4, 2025

High-performance probabilistic exact counter

C++ 41 10 Updated Jun 25, 2025

Known attacks on Elliptic Curve Cryptography

Sage 536 34 Updated Nov 8, 2024
Python 11 4 Updated Apr 24, 2024

OpenID Connect support for Flask

Python 36 19 Updated Jul 14, 2025

Automatic Verification of Differential Characteristics

Python 4 Updated Jun 18, 2025

A new markup-based typesetting system that is powerful and easy to learn.

Rust 43,957 1,172 Updated Jul 13, 2025
Next
0