mnfst / awesome-free-llm-apis

A curated list of LLM APIs that offer permanent free tiers for text inference, with base URLs, models, and rate limits.

AeneasVerif / aeneas

Verification toolchain that translates Rust programs (via Charon's LLBC) into pure lambda calculus for proof in F*, Coq, HOL4, or Lean.

fstandhartinger / jevbench

JevBench by Benchmark Heaven: benchmark and leaderboard for AI decision models, measuring typed decision accuracy, calibration, latency and cost.

Tencent / wave-mcp

Open-source, license-free MCP server for RTL waveform debug: reads FST waveforms (VCD/FSDB auto-convert) plus a SystemVerilog netlist, with 34 tools covering driver analysis, value/X tracing, pass-fail waveform diff, a browser wave viewer the agent drives, and pre-simulation static analysis.

FStarLang / FStar

A Proof-oriented Programming Language

hoffstadt / DearPyGui

Dear PyGui: A fast and powerful Graphical User Interface Toolkit for Python with minimal dependencies

gtkwave / gtkwave

GTKWave is a fully featured GTK+ based wave viewer for Unix and Win32 which reads LXT, LXT2, VZT, FST, and GHW files as well as standard Verilog VCD/EVCD files and allows their viewing.

ntfstool / ntfstool

A ntfs tool for mac

hoochanlon / Free-NTFS-for-Mac

Nigate: An open-source NTFS utility for Mac. It supports all Mac models (Intel and Apple Silicon), providing full read-write access, mounting, and management for NTFS drives.

DigneZzZ / remnawave-scripts

Collection of automation scripts and utilities for RemnaWave project. Features deployment tools, configuration management, and workflow automation scripts to streamline development and operations

fstanis / awesome-webdav

A curated list of awesome apps that support WebDAV and tools related to it.

mikker / Fst

A fast, minimal native macOS text editor

mnfst / llm-gateway

Open Source LLM Gateway 🦚

facebook / mvfst

An implementation of the QUIC transport protocol.

minamijoyo / tfmigrate

A Terraform / OpenTofu state migration tool for GitOps

Stiffstream / sobjectizer

An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.

demystifyfp / FsToolkit.ErrorHandling

An opinionated F# Library for error handling

FStarLang / karamel

KaRaMeL is a tool for extracting low-level F* programs to readable C code

fstandhartinger / chat-seek-vscode

Local VS Code search across Claude Code, Codex, and OpenCode chats with Laya reranking

wasifstark / GTA-V-Sandbox-Editor

Ultimate GTA 6 Modded Engine & Gameplay Enhancer Suite 2026

marcbrooker / git_weirdness

Empirical study of git merge (un)soundness: a minimal counterexample where default git merge silently duplicates a line, motivated by the diff3 paper (Khanna, Kunal & Pierce, FSTTCS 2007).

satellitedown / fafstmobel-cinference

One-menu RTX 5090 installer for fafstmobel with Cinference, DFlash2, K8V4, and vision.

defstudio / telegraph

Telegraph is a Laravel package for fluently interacting with Telegram Bots