Playground to visualize functional programming with sequences
Repository Index
70,234 visible repositories in the index
6,145–6,168 of 6,959 · Most stars
Sitecore Package Deployer
A vibe.d library to handle the GraphQL Protocol written in the D Programming Language
- dlang
- graphql
- d
- vibe-d
EtlKit is a lightweight ETL (extract · transform · load) library and data integration toolbox for .NET. Build your own data pipelines programmatically in C# — readable, testable, and tracked in source control like the rest of your code.
- dotnet
- dotnet-core
- etl
- etl-framework
A F# Hawk implementation with a strongly typed API that guides your usage and minimises security programming errors.
A statsd client library for Crystal.
- crystal
- statsd
- datadog
- monitoring
FairPlayCombined is a platform designed to accelerate app development using .NET, Blazor, and more. It includes real-world templates like video sharing and dating apps, reducing costs and time-to-market. Perfect for developers, startups, and businesses, it empowers innovation and delivers value with pre-built tools and resources.
- aspire
- blazor
- csharp
- dotnet
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
An Ember addon for attaching debug logging to container-managed objects
Erlang public_key cryptography wrapper for Elixir
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
⚽ 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
A puzzle game for the Game Boy Color (CGB), Analogue Pocket (AP) and Game Gear(GG). Build pets in all shapes and sizes, keep the board clear.
- game-boy-color
- game-boy
- gameboy
- retrodev
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
Lisp VSCode Extension
- common-lisp
- ide
- lisp
- programming-language
Dependency Injection and Inversion of Control package
- dependency-injection
- lifecycle
- injector
- ioc-framework
React hooks implementation of Google's "Thanos" easter egg
- react
- thanos
- avengers-endgame
- thanos-snap-effect
Starting code and proposed solution for Functional Structures Refactoring Kata
- functional-programming
- kata
- deliberate-practice
- category-theory
A Godot plugin helping in building interactive fictions and dialog system
- gdscript
- godot-engine
- godot3
- godotengine
A little logger for machine learning research
A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.
- cross-platform
- dialog
- file
- filesystem
A list of EmberJS2018 blog posts and ideas
A powerful JavaScript functional programming toolset, including utility functions and abstract data structures.
- functional-programming
- javascript
- js
- monad