Statements of famous theorems proven in Coq [maintainer=@jmadiot]
- coq
- theorems
Repository Index
47,133 repositories indexed
13,441–13,464 of 18,249 · Most stars
Renders a Multilingual Quarto Project (Book or Website)
Start a promise chain
Check if a process is running
ML5 Machine Learning For Blazor with JSInterop mechanism
Clojure/ClojureScript library for accelerated browser data deserialization
tartiflette-aiohttp is a wrapper of aiohttp which includes the Tartiflette GraphQL Engine, do not hesitate to take a look of the Tartiflette project.
- aiohttp
- tartiflette-engine
- graphql-engine
- sdl
Framer Layer subclass for when you need to do stuff with numbers
Common Lisp JSON reading and writing for the Kzinti.
- common-lisp
- json
Clojure library for debugging core functions
- clojure
Cosmos Journeyer is a space exploration game running directly in the browser! Take your spaceship and witness the beauty of this virtually infinite universe.
- procedural-generation
- procedural
- webgl2
- webgl
A Scriptable widget to pull data from the TeslaFi API
A Vue3 + Supabase starter template
Live updating audio system for GameMaker
Perfect CRUD, for Swift 6, is an object-relational mapping (ORM) system completely rewritten for modern concurrency and the swift ecosystem.
Next-level routing for Svelte and Sveltekit
- mfe
- microfrontend
- router
- svelte
Let's start the dance! This boilerplate is a ready setup for starting your next awesome javascript app in minutes. Backbone + Marionette + RequireJS + Twitter Bootstrap
The complete ngrok agent for Java: programmatic tunnels for ingress, inspection, webhooks, demos, and APIs
- java
- tunnel
- webhook
- reverse-proxy
Stream database events from PostgreSQL to Kafka
- postgresql
- events
- stream
- kafka
Extract GeoJSON from Mapbox vector tiles.
LLM and agent evaluation for Java & Kotlin. Runs in JUnit and CI. Spring AI, LangChain4j, Koog, Embabel, and any LLM client.
- agent-evaluation
- evaluation-framework
- evaluation-metrics
- java
Vert.x elasticsearch service with event bus proxying
Less CSS compiler written in Java
TV studio player with SDI, NDI and MPEG TS outputs