jhwohlgemuth

jhwohlgemuth's Stars

• karpathy/llm.c

  LLM training in simple, raw C/CUDA

  Language:Cuda25.6k2631452.9k

• RustScan/RustScan

  🤖 The Modern Port Scanner 🤖

  Language:Rust15.6k1362681.1k

• Nozbe/WatermelonDB

  🍉 Reactive & asynchronous database for powerful React and React Native apps ⚡️

  Language:JavaScript10.8k1061k614

• EleutherAI/lm-evaluation-harness

  A framework for few-shot evaluation of language models.

  Language:Python7.8k401.2k2.1k

• cloudflare/workerd

  The JavaScript / Wasm runtime that powers Cloudflare Workers

  Language:C++6.5k55512338

• nilsherzig/LLocalSearch

  LLocalSearch is a completely locally running search aggregator using LLM Agents. The user can ask a question and the system will use a chain of LLMs to find the answer. The user can see the progress of the agents and the final answer. No OpenAI or Google API keys are needed.

  Language:Go5.8k3097367

• huggingface/parler-tts

  Inference and training library for high-quality TTS models.

  Language:Python5k55141520

• rust-lang/miri

  An interpreter for Rust's mid-level intermediate representation

  Language:Rust4.9k601k360

• tinyplex/tinybase

  The reactive data store for local‑first apps.

  Language:TypeScript4.2k31118101

• cloudflare/workers-rs

  Write Cloudflare Workers in 100% Rust via WebAssembly

  Language:Rust2.7k41268300

• aspen-cloud/triplit

  A full-stack, syncing database that runs on both server and client. Pluggable storage (indexeddb, sqlite, durable objects), syncs over websockets, and works with your favorite framework (React, Solid, Vue, Svelte).

  Language:TypeScript2.6k94777

• HotCakeX/Harden-Windows-Security

  Harden Windows Safely, Securely using Official Supported Microsoft methods and proper explanation | Always up-to-date and works with the latest build of Windows | Provides tools and Guides for Personal, Enterprise, Government and Military security levels | Read The Rationale https://github.com/HotCakeX/Harden-Windows-Security/blob/main/Rationale.md

  Language:C#2.2k44149173

• latex-lsp/texlab

  An implementation of the Language Server Protocol for LaTeX

  Language:Rust1.6k1439854

• rust-fuzz/cargo-fuzz

  Command line helpers for fuzzing

  Language:Rust1.6k25200114

• WebAssembly/wasi-sdk

  WASI-enabled WebAssembly C/C++ toolchain

  Language:CMake1.3k51220192

• KevinVandy/mantine-react-table

  A fully featured Mantine V5 implementation of TanStack React Table V8, forked from Material React Table

  Language:TypeScript93717187168

• dgunning/edgartools

  The world's easiest, most powerful edgar library

  Language:Python73324159142

• JetBrains/Arend

  The Arend Proof Assistant

  Language:Java7071325433

• sourcefrog/cargo-mutants

  :zombie: Inject bugs and see if your tests catch them!

  Language:Rust665622227

• dylibso/chicory

  Native JVM WebAssembly runtime

  Language:Java606188742

• nluxai/nlux

  The 𝗣𝗼𝘄𝗲𝗿𝗳𝘂𝗹 Conversational AI JavaScript Library

  Language:TypeScript49944328

• nsidc/earthaccess

  Python Library for NASA Earthdata APIs

  Language:Python4461130397

• rzk-lang/rzk

  An experimental proof assistant based on a type theory for synthetic ∞-categories.

  Language:Haskell216118410

• fizzbee-io/fizzbee

  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

  Language:Python17952310

• xr0-org/xr0

  The Xr0 Verifier for C

  Language:C1793684

• wapc/wapc-rs

  waPC Rust monorepo

  Language:Rust784910

• apexlang/apex

  Apex CLI

  Language:TypeScript39250

• prefix-dev/archspec-rs

  A library to track system architecture aspects incl. processor family & co, Rust implementation

  Language:Rust26304

• m-ld/m-ld-spec

  Platform-independent m-ld specification

  Language:TypeScript245661

• mihaiconstantin/paperer

  `paperer` is a lightweight tool that simplifies the creation of new LaTeX manuscripts by scaffolding projects based on pre-defined or custom templates. No need to manually copy files, just start writing in seconds!

  Language:Shell3220