Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
Repository Index
47,133 repositories indexed
6,337–6,360 of 8,037 · Most stars
A custom stretchable header view for UIScrollView or any its subclasses with UIActivityIndicatorView and iPhone X safe area support for content reloading. Built for iOS 10 and later.
Add syntax highlighting and other goodies to Practical Common Lisp by Peter Seibel.
Dash component for Vega-Altair charts
- altair
- plotly-dash
- vega
Common Lisp bindings to the GNU Readline library
- common-lisp
- gnu-readline
- readline
- bindings
A curated and non exhaustive list of Common Lisp libraries and resources.
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
A SIP monitoring script that publishes incoming calls with CallerID to an MQTT channel
Community-maintained C# SDK for PocketBase
- sdk-c-sharp
- csharp-sdk
- pocketbase
- pocketbase-sdk
MCP server for spatial transcriptomics analysis through natural language interfaces.
- bioinformatics
- cell-communication
- deconvolution
- machine-learning
SeaweedFS is a fast distributed storage system for blobs, objects, files, and data lake, for billions of files! Blob store has O(1) disk seek, cloud tiering. Filer supports Cloud Drive, xDC replication, Kubernetes, POSIX FUSE mount, S3 API, S3 Gateway, Hadoop, WebDAV, encryption, Erasure Coding. Enterprise version is at seaweedfs.com.
Crystal bindings to the Zstandard (zstd) compression library
- crystal
- crystal-bindings
- zstd
- zstandard
Command line, offline, access to HTTP status code, common header, and port references
Path tracing with WebGPU compute shaders
- compute-shader
- path-tracing
- raytracing
- webgpu
Hand-written bindings to Raylib for Common Lisp.
- common-lisp
- raylib
The repository host gives no description.
- ats
- open-source
- rails
- recruitment
Bootstrap 5 Components for the Yew Framework
Returns an array with only the unique values from all given arrays using strict equality for comparisons.
- arr
- array
- difference
- diff
Compile erlang record definitions into modules to convert them to/from json easily.
- erlang
- json
- json-converter
A portable type inference library for Common Lisp
Video game review datasets scraped from the Steam website (http://store.steampowered.com/). Data includes review text, number of hours that the reviewer played the game, number of friends, groups, etc.
The Google Protocol Buffers implementation in Ada
A modern, powerful commmand line argument parser 🔨
- dlang
- command-line-parser
- argument-parser
- subcommands