Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
- coq
- randomized-algorithms
- probability
- monad
Repository Index
47,133 repositories indexed
1,609–1,632 of 1,986 · Most stars
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
Anonymous lambda literal in Common Lisp, respecting Scala
Parser for todo.txt files in Go ✅
- go
- golang
- todo
- todoapp
A port of the Javascript library to GML2.3
D binding to c-imgui
- imgui
- bindbc
:evergreen_tree: Parses indented code and returns a tree structure.
- go
- parser
A PHP parser for Djot, a modern light markup language
Simple Shopify API for the Go Programming 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
Decimal number parser and formatter package for the Common Lisp language
- decimal-numbers
- common-lisp
- library
- parser
Tool that allows to write Erlang NIF libraries in Haskell
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
Elixir binding for libgraphqlparser
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
OpenFaaS template for the crystal programming language