Repository Index

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

maybe-wrong sbcl internals

Namespaces plugin for KnockoutJS

HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada

Full-text indexing and search for Common Lisp

⧉ light-weight experimental wiki

• cms
• lightweight
• ideas
• link

40ANTS-MCP is a framework for building Model Context Protocol servers in Common Lisp

Quasi Engine is a framework that intends to be a complete toolset to ease 2d game development, providing ready-to-use QML elements representing basic game entities needed by most of games.

A notebook app integrated with todo lists utility. Developed with Rust, WebAssembly, Yew and Trunk.

• wasm
• rust
• notes-app
• todo-list

Arbitrary Big Integer Library for Pascal

• intx
• biginteger
• pascal
• fpc

AI & Machine Learning over historical baseball data using latest Microsoft AI & .NET Development Technologies

• blazor
• machine-learning
• artificial-intelligence
• baseball-statistics

Real internet services, not corporate promises

• self-hosting
• server
• debian-linux
• free-software

High-Dimensional Gene Expression and Morphology Profiles of Cells across 28,000 Genetic and Chemical Perturbations

Toast UI Calendar Wrapper For Blazor

• blazor
• dotnet
• calendar
• razor

Interactive semantic versioning for Elixir packages

Julia interface to WebGL using Three-js custom elements and Patchwork.jl

Common Lisp library for handling bit vectors, bit vector arithmetic, and type conversions.

• common-lisp
• bit-vector
• type-conversion
• binary-arithmetic

Filter Draft.js content to preserve only the formatting you allow

• draft-js
• draftjs-utils
• rte
• wysiwyg

A low interaction honeypot for the Cisco ASA component capable of detecting CVE-2018-0101, a DoS and remote code execution vulnerability.

• security
• security-tools
• vulnerability
• honeypot

Tool for precise, interactive, fast and scalable FISH spot detection

Remind yourself to not sit and stare at the screen for too long

• elementary
• gtk
• ergonomics
• health

Zero-dependency 128-bit fixed-point decimal for Go. Exact SQL NUMERIC / PostgreSQL semantics, no heap allocation, no panics — built for money, ledgers and banking arithmetic.

• decimal
• fixed-point
• go
• golang

✨ A Karma plugin. Adds untested files to coverage statistic

• karma-plugin
• karma-reporter
• karma-include
• include-all-sources

🌏: Godot Dungeon free resources (terrain & roguelike generation)