Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
Repository Index
47,133 repositories indexed
481–504 of 697 · Most stars
Generate a ready-to-use Common Lisp project
- common-lisp
- cookiecutter
- lisp
🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based result type ➡️ Result[Value, Error].
- monads
- result-type
- typing
- python
Filter promises concurrently
Wrap existing D code for use in Python, Excel, C#
- python
- dlang
- excel
- data-science
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
Japt 1.4.5, the other JavaScript golfing language
- javascript
- esolang
- golfing-language
- programming-language
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
Tiny DSL for idiomatic date parsing and formatting in Ruby
- ruby
- dsl
- date
- syntax-sugar
A Rocq formalization of information theory and linear error-correcting codes
- information-theory
- error-correcting-codes
- probability
- convexity
Guile-SSH is a library that provides access to the SSH protocol for GNU Guile programs.
Common Lisp with Arc Macros and Procedures
Fast SIP and SDP Parser
- sip-headers
- parse
- sdp
- sip-messages
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
brain-dead simple parallel processing for ruby
Gowl is a process management and process monitoring tool at once. An infinite worker pool gives you the ability to control the pool and processes and monitor their status.
- golang
- go
- pooling
- pool
Improved Go Syntax (transpiler)
- go
- golang
Reduce a list of values using promises into a promise for a value
A setf like macro for functional programming
Lightweight cURL wrapper for C# with support for curl_multi polling interface through libuv
- curl
- libcurl
- libuv
- multiprocessing
Library providing fast hash based immutable map and set
- hashmap
- fsharp
- collections
- hashset
pico sized functional library
- javascript-array
- functional-programming
- javascript
- es6
UNIS: A Common Architecture for String Utilities within the Go Programming Language.
- golang
- string
- utility-wrapper