Repository Index

VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations

Support for rendering a Blazor Component to a verified file via bunit or raw Blazor rendering.

• blazor
• bunit
• testing
• snapshot-testing

MyFin Budget - Rest API for the personal finances platform that'll help you budget, keep track of your income/spending and forecast your financial future.

• budget-app
• nodejs
• nodejs-api
• personal-finance-manager

Common Lisp UUID library with zero dependencies

• common-lisp
• utility-library
• uuid

NASA/JPL SPICE Toolkit for C – patched for cross-platform compatibility

• astronomy
• astronomical-algorithms
• celestial-mechanics
• nasa

⚽ Live football(soccer) scores, fixtures and standings for the competition you follow (World Cup, Premier League, LALIGA, Champions League and 12 more) in your terminal, your Claude Code and Cursor CLI statusline, and MCP clients. No API key. Independent fan project. Not affiliated with FIFA, any confederation, league or club, or Anthropic.

• claude-code
• cli
• football
• futbol

A Common Lisp LLM completions library

Complimentary event template helpers to the {{on}} modifier

• ember
• emberjs
• ember-addon
• ember-template-helper

Blazor Code Component for Documentation Sites

• blazor
• blazor-documentation

Fast Native JSON Parser / Serializer for VBA, compatible with Windows and Mac

A plugin for the Play Framework that enables easy, automatic compression of JavaScript and CSS

Common Lisp Erlang Interface

Modern and consistent filepath manipulation for Common Lisp.

• common-lisp
• filepaths

Partial Commutative Monoids

• partial-commutative-monoid
• separation-logic
• coq
• coq-library

Syntax is hard. https://fuckingfunctionpointers.com

Common Lisp library for manipulating date/time objects at a higher level

The repository host gives no description.

Starting code and proposed solution for Functional Structures Refactoring Kata

• functional-programming
• kata
• deliberate-practice
• category-theory

OCaml bindings to PCRE (Perl Compatibility Regular Expressions)

• ocaml
• pcre
• pattern-matching
• string-matching

Plugin for RAD Studio, which allows launching and debugging on an Android device without connecting to a computer via USB. Works over WiFi.

🚨 [deprecated] Ruby gem for compressing html

Translated📕 Based on Phalcon, integrating Composer, event listeners, middleware, MongoDB, Redis

• phalcon
• php
• composer

One platform component library.

• web
• webcomponents
• lit-element
• lit-html

In memory database system for Common Lisp