Stars
DSPy: The framework for programming—not prompting—language models
Tool for data extraction and interacting with Lean programmatically.
High-Performance server for NATS.io, the cloud and edge native messaging system.
LLMs as Copilots for Theorem Proving in Lean
Rails/ActiveRecord support for distributed multi-tenant databases like Postgres+Citus
Resque is a Redis-backed Ruby library for creating background jobs, placing them on multiple queues, and processing them later.
A modern Anki custom scheduling based on Free Spaced Repetition Scheduler algorithm
FuzzBench - Fuzzer benchmarking as a service.
Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)
C library for accessing the PostgreSQL parser outside of the server environment
We implement the famous "Depixelizing Pixel Art" paper by Kopf and Lischinski
Repository for the book "Crafting Interpreters"
Easily create custom 3D environments
Inertia.js lets you quickly build modern single-page React, Vue and Svelte apps using classic server-side routing and controllers.
🤖 A collection of awesome things about ChatOps – managing operations through a chat
Double-entry accounting system with a command-line reporting interface
Interact with your documents using the power of GPT, 100% privately, no data leaks
Import YAML/JSON-formatted configuration files into Keycloak - Configuration as Code for Keycloak.
A fast image processing library with low memory needs.
Browser extension that automatically fills out cookie popups based on your preferences
Fluent UI web represents a collection of utilities, React components, and web components for building web applications.
Package gorilla/websocket is a fast, well-tested and widely used WebSocket implementation for Go.
pg-redis-fdw / redis_fdw
Forked from engobi/redis_fdwA PostgreSQL foreign data wrapper for Redis