An effort to consolidate the needs and plans of individuals and organizations using Common Lisp to meet their numerical and scientific computing needs.
Repository Index
47,133 repositories indexed
1,009–1,032 of 1,130 · Most stars
High-fidelity transcript memory for Claude Code — index every session, recall byte-identical, search, prune, compose. Local-first, stdlib-only, MCP.
- claude-code
- llm
- mcp
- memory
Implementation of the Mask R-CNN model using OCaml's numerical library Owl.
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
:fire: Canvas based HTML5 game where a player has to extinguish fire on trees using his magical water tank in order to save the Burning Forest.
This is a small UUID library that implements a chronologically sortable UUID.
bake customized raspberry pi sdcard images automatically
- raspberry
- raspbian
- provisioning
- bootstrapping
Composable Concurrency Abstractions for JavaScript. :railway_track: :rhinoceros: :train: :vertical_traffic_light:
- concurrency
- async-await
- reactive-programming
- streams
Encode and decode dynamically constructed values of arbitrary shapes to/from SCALE bytes
In-memory WebExtensions API Fake Implementation for testing purposes
Strongly typed Razor Page Route Generator (also works with Blazor)
A collection of general utility and mathematical functions for GameMaker Studio 2 (Version 2.3).
AI-Driven Full-Text Screening and Data Extraction for Systematic Reviews and Evidence Synthesis
- academic-research
- ai-assistant
- ai-tool
- data-extraction
Neovim plugin for automaticaly passing extra context for LLM on code snippet copy to clipboard
Automagically generate Karate API tests from your GraphQL schemas. Useful for test-driven development, change validation in CI/CD, and more.
- graphql
- graphql-schema
- graphql-server
- karate
A proof-of-concept C# console application for retrieving legacy 2010 & 2013 custom SharePoint workflow definition files, and creating new Power Automate flows programmatically.
- sharepoint-online
- sharepoint
- workflows
- powerautomate
A service worker framework made specifically for SvelteKit
- build
- library
- offline
- offline-first
CakePHP plugin to render simple calendars or ical/ics files
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
An Ada 2012 emulation of Charles Babbage’s Analytical Engine
- ada
- emulator
- gmp
Automatically exported from code.google.com/p/vartypes
A simple service which consumes, transforms and periodically republish json messages on mqtt.
- hacktoberfest
- hacktoberfest2021
- mqtt
:vertical_traffic_light: TDD Helpers for Knockout JS
ribbon filter in golang(Go), practically smaller than Bloom and Xor
- bloom-filter
- go
- golang
- golang-library