Cross-platform asynchronous I/O
- asynchronous
- io
- networking
- unix
Repository Index
47,133 repositories indexed
1–16 of 16 · Most stars
Powerful scripting language & versatile interactive shell
An async control-flow library that makes stepping through logic easy.
Asynchronous, Reactive Programming for Scala and Scala.js.
- scala
- monix
- typelevel
- functional-programming
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
- ocaml
- stdlib
- data-structure
- portable
ClojureScript library for Ant Design React UI components
- clojurescript
- reagent
- rum
- reagent-components
Single-header c99 accelerated float/double parsing. Port of the fast_float library.
- c
- high-performance
- neon
- parsing
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 total recursion scheme library for Dhall
- dhall
- recursion-schemes
Parallelize _anything_ //
- ocaml-library
- parallel-computing
- stream-processing
- multi-processing
query language and terminal utility for querying and transforming Lisp, JSON and other text files. written in Common Lisp
- common-lisp
- domain-specific-languages
- dsl
- json
TurboRaylib is a cool and clean Raylib bindings for Object Pascal (Delphi and FreePascal)
- delphi
- easy-to-use
- freepascal
- game
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
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
A certified Sudoku solver in Coq [maintainers=@siraben,@thery]
- coq
- sudoku
- nix-action
Advanced UNIX Terminal UI Ada Binding Package
- curses
- curses-library
- tui