Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
Repository Index
64,265 visible repositories in the index
15,001–15,024 of 18,104 · Most stars
Swift library to easily check the current device and some more info about it.
- device
- device-detection
- system
- iphone
Python chess model
😀 improve your productivity and long-term happiness in just 21 days.
- flutter
- mental-health
- productivity
- mobile
Prometheus.io collector for Elixir.Ecto
- ecto
- instrumenter
- prometheus
- elixir
Use any language that compiles to Lua in your Neovim configuration
- neovim
- neovim-plugin
- lua
- fennel
This training kit has been developed to learn the basics of Backbone.JS.
- backbone-marionette
- backbone
- training-kit
- javascript
KBCsv is an efficient, easy to use .NET parsing and writing library for the CSV (comma-separated values) format.
- csv
- netstandard
- c-sharp
- dotnet
Bring http://choosealicense.com to your terminal
Quickly and easily preview and test your Magento 2 order confirmation page, without hacks or spending time placing new order each time
- magento2
- magento2-module
- magento-2
- magento-extension
How to create Selfie2Anime from tflite model to Android.
- tensorflow-lite
- selfie2anime
- gans
- android
Read a GTFS file
Emacs mode for highlighting weasel words
The mypy playground. Try mypy with your web browser.
- python
- mypy
- docker
- playground
Package passwap provides a unified implementation between different password hashing algorithms. It allows for easy swapping between algorithms, using the same API for all of them.
- argon2
- bcrypt
- go
- hashing
Easy, asynchronous, annotation-based SOAP for Android
A JavaScript library for display ads in React applications.
- advertising
- prebid
- prebidjs
- dfp
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
Java XML library. A really cool one. Obviously.
A Carbon-powered React component library built by IBM Security
- javascript
- scss
- carbon-design-system
- ibm-security
A library for placing labels in areas.
Run your coding agents from Telegram. A bridge for Claude Code, Codex, OpenCode, Pi and Antigravity CLI: send tasks by text or voice, watch them work and approve changes from your phone.
- ai-agents
- claude-code
- cli-tools
- codex
Flutter beacons plugin for Android and iOS.
Named readtables for Common Lisp