A macro to define clojure functions with parameter pattern matching just like erlang or elixir.
- clojure
- defun
- pattern-matching
- clojure-functions
Repository Index
47,133 repositories indexed
25–46 of 46 · Most stars
An easy-to-use and fast library for task-based parallelism, utilizing coroutines.
- coroutines
- cpp
- parallel-computing
:baby_chick: A multi-paradigm programming language with gradual and duck typing that targets PHP and JS
- programming-language
- language
- programming-paradigms
- repl
The project provides high-performance concurrency, enabling highly parallel computation.
Stream api (kind of) implementation for go, other useful functions and packages to use go in a functional way
- filter-map-reduce
- go-library
- stream-api
- filter
C++20 concurrency framework with no compromises. Excellent performance, powerful features, and simple syntax.
- coroutines
- cpp
- cpp20
- lock-free
[A]synchronous Functional Programming
- function-composition
- asynchronous
- transducers
- parallel
Floc: Orchestrate goroutines with ease.
- go
- parallel-programming
- goroutines
- goroutine-safe
Parallelism for Common Lisp
A formalization of geometry in Coq based on Tarski's axiom system
Python parser and tools for MUSDB18 Music Separation Dataset
- dataset
- python
- sisec
- musdb
A library for performing and validating complex filters from a client (e.g. smart filters)
- filter
- parsing
- comparator
- parsing-filters
A realtime visual programming language for interactive media.
✨🐌 🐎✨ fastest npm scripts runner
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
Parameter Optimization for Lean Algorithms
- lean
- optimization
- blazor
- sharpe-ratio
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort
Go-based framework for building Polkadot/Substrate-compatible runtimes. 🧱
Fast and flexible HTTP request parser for Go
- go-library
- golang
- http
- middleware