A Library for Representing Recursive and Impure Programs in Coq
Repository Index
72,862 visible repositories in the index
5,185–5,208 of 7,238 · Most stars
a class factory and dsl for generating command line programs real quick
🗣 An overlay that gets your user’s voice permission and input as text in a customizable UI
- voice
- overlay
- input
- speech-to-text
Bash completion for "adb" from the Google Android SDK
eBPF based TCP observability.
TranslatedLLM teaching material for high school students: based on Karpathy's microgpt, for Google Colab
Simulator for AWS architecture blog (http://www.awsarchitectureblog.com/ ) about jitter and backoff.
A TextMate and Sublime Text Bundle for the Elixir programming language
Aardvark is a library that makes it dead simple to create actionable bug reports.
TypeScript SQLite layer with support for both native C++ & pure JavaScript drivers.
Efficient, hassle-free function call validation with a concise inline syntax for clojure.spec and Malli
Present your progress bars in arc mode with information and total control.
A 5-pixel monospace variable font that captures the essence of 1980s–90s digital minimalism.
Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
Streaming Postgres logical replication changes atleast-once over websockets
- postgresql
- logical-replication
- write-ahead-log
- websockets
TypeQL: Built for systems, not records
- reasoning
- query-language
- query
- inference
Ruby speech recognition with Pocketsphinx
Tool to draw low-resolution graphs in terminal
A clean and simple markdown blogging platform on Rails.
NI Media is a C++ library for reading and writing audio streams.
- cpp
- cpp14
- audio
- streams
Python game programming in Jupyter notebooks.
Matrix Algebra proGrams In Common Lisp.
- common-lisp
- matrix-algebra
- linear-algebra
The world’s first community-led, not-for-profit, digital platform joining farmers and scientists together for participatory assessment of social, environmental and economic outputs of farming systems.
- agriculture
- farming
- open-source
- organic-agriculture
Small C++ header to display async animations, counters, progress bars, and status messages
- cpp
- progress-bar
- counter
- animation