Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
Repository Index
81,337 visible repositories in the index
553–576 of 626 · Most stars
The repository host gives no description.
The Claude companion for Laravel: the Anthropic API behind a facade, with batches, token counting, files, refusal fallback, named connections, events and test fakes, beside laravel/ai.
Distributed batch data processing framework
Efficient, asynchronous batching and caching in clustered environments, port of Facebook DataLoader
- facebook-dataloader
- vertx-dataloader
- graphql
- java-8
The repository host gives no description.
A batteries-included tracing and debug-logging macro
InsNet Runs Instance-dependent Neural Networks with Padding-free Dynamic Batching.
- deep-learning-library
- dynamic-batching
- nlp
A lightweight and blazing fast Neovim version manager.
- neovim
- version-manager
- vlang
Go's answer to pandas + scikit-learn: a batteries-included data analysis library with dataframes, statistics, machine learning, quant, and GPU acceleration. Run Python with seamless two-way variable sharing, or explore data straight from the Insyra CLI.
High-Dimensional Gene Expression and Morphology Profiles of Cells across 28,000 Genetic and Chemical Perturbations
Chain Asynchronous Apex in a readable and flexible way without hardcoding the successor.
- clean-code
- fluent-api
- batch
- asynchronous-programming
Go validation library with functional API built on top of generics, statically typed and batteries included :fire:
- generics
- go
- type-safe
- validation
Lightweight Java library for reading and writing fixed-width / fixed-length flat files using annotations on POJOs — for banking, payroll, EDI, mainframe, and batch integrations.
- annotations
- banking
- batch-processing
- edi
Simple C++ InfluxDB client via MS C++ REST SDK + RxCpp for batching (Windows/OSX/Linux) + a C wrapper
- influxdb
- rxcpp
- batching
- client
Data Structures and streaming algorithms for Common Lisp.
Simple battery shaped UIView
- battery
- swift
Wardley Maps Battle Camp - workshop, rules, cards, materials
- wardley-maps
- market
- gameplay
- workshop
Crack passwords using Terraform and AWS
PHP client for the Anthropic API: messages, streaming, tool use, thinking, web search, code execution, batches, and more.
lf.sh is a Bash utility to help you quickly search arbitrary files or search text from files.
- bash
- shell-script
- search-interface
- grep
Error Prone extensions: extra bug checkers and a large battery of Refaster rules.
- java
- static-analysis
- abstract-syntax-tree
- ast
A moody Linux theme inspired by Batou’s car and the iconic opening scene — crafted for omarchy.org.
- archlinux
- omarchy
- omarchy-theme
- ricing
Interactive and customizable scroll bar with deceleration and appearing info label during scrolling for Scroll View
- ios
- scroll
- scroll-bar
- scrollbar