A lock-free concurrent data structures library for Common Lisp.
- common-lisp
- concurrency
- lisp
- primitives
Repository Index
47,133 repositories indexed
1,153–1,176 of 1,367 · Most stars
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort
Little utility D3 functions
Powerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀
- pipe
- pipeline
- kleisli
- ramda
🇪🇺 Resources and Learning Games for European Romance Language Communication
- language
- romance-languages
- language-learning
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
- coq
- randomized-algorithms
- probability
- monad
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
- coq-plugin
- large-numbers
- coq
- docker-coq-action
Native DTrace probes for ruby apps
Hanoi tower in Coq
A port of the Javascript library to GML2.3
:evergreen_tree: Parses indented code and returns a tree structure.
- go
- parser
A PHP parser for Djot, a modern light markup language
Transpiles from everything to everything else
A C# wrapper written around QPDF, allowing for various operations on PDF documents: transformations, page manipulation, linearization, and more.
- pdf-lib
- csharp-pdf
Personal import of the selenium-webdriver for ruby
Clang port to the GBZ80 CPU
Common Lisp JSON handling library (not a parser!), with the aim for convenience and brevity.
Ant Design bindings for Fable Elmish
- fable
- antd
Java scope functions inspired by Kotlin
- functional-programming
- java
- java-utils
- java-utilities
V Wrapper For ZMQ
- vlang
- zmq
- networking
- v
Trivial/Tagless Polytypic Functions
An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp
A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
Generic Task behavior that helps encapsulate errors and recover from them in classic GenStage workers.
- elixir-lang
- elixir
- hex
- package