A common lisp library that provides a numeric type with optional unit and/or uncertainty for computations with automatic error propagation.
Repository Index
63,766 visible repositories in the index
13,801–13,824 of 16,245 · Most stars
Minimalistic API for writing text-based user interfaces in pure Crystal 🍮
- crystal-lang
- crystal-language
- term
- termbox
Multidimensional array similar to NumPy and NArray
- matrix
- linear-algebra
- colt
- ruby
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
Dynamically configure applications that require static configuration in docker container.
- nim
- smalte
- template
- docker
Crypto Puzzles is a tool and library to provide a bunch of functions for encryption or pseudo encryption as puzzles or brain teasers. Awesome for kids but some puzzles are also a challenge for adults.
Java library for representing, parsing and encoding URNs as in RFC2141 and RFC8141 (Maintained by @claussni)
- urn
- code4lib
Stacks-blockchain with API using docker compose
- blockchain
- hiro
- dns
- decentralized
The repository host gives no description.
⚙️ A collection of Swift extensions for wide range of Vapor data types and classes
- vapor
- swift
- serverside-swift
An Actionscript 3 framework for creating user interfaces, using CSS3 for layout.
Minimalistic REST client for Go applications
- rest
- client
- go
- golang
Spatial Transformer Nets in TensorFlow/ TensorLayer
- tensorlayer
- tensorflow
- cnn
- deep-learning
Examples for Alternativa3D Flash 3D engine
A browser fuzzer augmented by API mod-ref relations
Desktop & phone notifications for AI coding agents (Claude Code, Codex, Gemini CLI, Cursor). Native VS Code support. Toast + ntfy push. Zero dependencies.
Write your SQL queries in raw files with all benefits of modern IDEs, use them in an easy way inside your application with all the profit of compile time constants
- go
- golang
- sql
IGStoryButtonKit provides an easy-to-use button with rich animation and multiple way inspired by instagram story/stories.
- instagram-stories
- ios
- swift
- button-animation
Suricata rule and intel index
- suricata
- intel
- security
- rules
Centralized transaction management for Pyramid applications (without middleware)
- transaction-manager
- pyramid-framework
- python
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
✨ Elegant pastel colorschemes for Neovim with advanced customization, styles, and integrations
- colorscheme
- nvim-plugin
- pastel
- pastel-colors
NASA/JPL SPICE Toolkit for C – patched for cross-platform compatibility
- astronomy
- astronomical-algorithms
- celestial-mechanics
- nasa
⚽ Live football (soccer) scores, fixtures and standings in your terminal, statusline and a Claude Code mod that celebrates your team's goals. World Cup, Premier League, LALIGA, Champions League and 12 more. Cursor CLI and MCP clients too. No API key. Independent fan project. Not affiliated with FIFA, any confederation, league or club, or Anthropic.
- claude-code
- cli
- football
- futbol