Provide await and async methods to Crystal Lang
- crystal-language
- concurrency
Repository Index
47,133 repositories indexed
169–192 of 268 · Most stars
Blazor.BFF.AzureAD.Template, Blazor WASM hosted in ASP.NET Core using Microsoft Entra ID BFF (server authentication)
- blazor
- aad
- azuread
- template
Write HTML in plain Crystal
Reduce boilerplate in RxJava by abstracting chained operators like flatMap, concatMap, switchMap, or compose [STABLE]
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
A native Selenium WebDriver binding for ColdFusion
- coldfusion
- lucee
- railo
- selenium
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
A Rocq formalization of information theory and linear error-correcting codes
- information-theory
- error-correcting-codes
- probability
- convexity
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
brain-dead simple parallel processing for ruby
pico sized functional library
- javascript-array
- functional-programming
- javascript
- es6
Cairo bindings for Common Lisp
A wrapper module for using spaCy natural language processing library from the Ruby programming language via PyCall
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
Translatedgo routine control, abstraction of the Main and some useful Executors. If you don't know how to manage Goroutines, use it
- goroutine
- crontab
- job-scheduler
- retry
Natural 🌿 effect system that fits TypeScript
- algebraic-effects
- computational-effects
- effect-system
- extensible-effects
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
- coq
- theorems
CLAWK is an AWK implementation embedded into Common Lisp, by Michael Parker. This version contains some patches to make it compile again.
Binding to Cairo, a 2D Vector Graphics Library.
- cairo
- ocaml
- stroke
- drawing
Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml
- ocaml
- linenoise
- readline
- standalone
dregex is a Java library that implements a regular expression engine using deterministic finite automata (DFA). It supports some Perl-style features and yet retains linear matching time, and also offers set operations.
- scala
- dfa
- regular-expression
- regular-expression-engine
Wait for any promise to be fulfilled
A blocking queue written in Elixir.
Creates a system where users are forced to login in dedicated independent docker containers.
- docker
- docker-image
- virtual-machine
- multiuser