Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
Repository Index
47,133 repositories indexed
985–1,008 of 1,630 · Most stars
Matrix Algebra proGrams In Common Lisp.
- common-lisp
- matrix-algebra
- linear-algebra
A collection of simple programs which can generate bitcoin wallets, create and sign transactions, and send transactions over the bitcoin network.
Python game programming in Jupyter notebooks.
Log4r is a comprehensive and flexible logging library for use in Ruby programs. It features a heirarchical logging system of any number of levels, custom level names, multiple output destinations per log event, custom formatting, and more.
Small C++ header to display async animations, counters, progress bars, and status messages
- cpp
- progress-bar
- counter
- animation
Public tracker for Scramjet Cloud Platform, a platform that bring data from many environments together.
- data-stream
- event-stream
- transformations
- reactive-programming
Kubernetes operator for self-hosted LLM inference across a heterogeneous GPU fleet: NVIDIA CUDA, AMD Vulkan, and Apple Silicon Metal. Runtimes: llama.cpp, vLLM, TGI, mlx-server. Multi-GPU sharding, model caching, OpenAI-compatible endpoints. Apache-2.0, run across homelab and on-prem fleets, actively developed.
Productivity Application - Kanban Style Productivity Management Application with Customizable Boards, Lists and Cards to Make You More Productive.
- react
- apollo-client
- es6
- react-router
go library for image programming (merge, crop, resize, watermark, animate, ease, transit)
- golang
- image
- merge
- crop
An F# type provider for in-process R interop
- r-language
- r-programming
- type-providers
Simple extension of UINavigationController to display progress on the UINavigationBar.
INGInious is a secure and automated exercises assessment platform using your own tests, also providing a pluggable interface with your existing LMS.
- grading
- assessment
- education
- e-assessment
Write Apps like Mathematical Equations!
- purescript
- app-development
- native
- functional-programming
An any-snarf program that processes application protocols (HTTP/FTP/...) from tcpdump or snoop files and stores session and file data
🛠 A full-featured dependency injection container for go programming language.
- go
- dependency-injection
- di
- ioc
A performant lsp progress status for Neovim.
- neovim
- lua
- plugin
- neovim-plugin
Practice Clojure using Interactive Programming in your editor
- clojure
- clojurescript
- educational-project
A function definition package for Rocq
- coq
- programming-language
- dependent-types
- rocq
The first exam for code agents in the physical world: frozen robot tasks from many benchmark suites, each answered with a program and verified in a separate sandbox. Runs on Harbor.
- ai-agents
- benchmark
- coding-agents
- embodied-ai
Java Constraint Programming solver
A pluggable approach to Service Workers for Ember.js
- service-worker
- ember
- ember-addon
- serviceworker
A tutorial on the D programming language templates.
C# .NET 7 Blazor habit tracker application. Works on Web, Windows, Linux, Android, iOS and macOS.
- asp-net-core
- aspnet-core
- aspnetcore
- blazor