Generate images from Graphviz dot strings in Clojure and Clojurescript
Repository Index
47,133 repositories indexed
217–240 of 257 · Most stars
A pool that spins up a given number of processes in advance and attaches stdin and stdout when needed. Very similar to FastCGI but works for any command.
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
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
Parser for todo.txt files in Go ✅
- go
- golang
- todo
- todoapp
A PHP parser for Djot, a modern light markup language
A C# wrapper written around QPDF, allowing for various operations on PDF documents: transformations, page manipulation, linearization, and more.
- pdf-lib
- csharp-pdf
A utility library to write code in functional programming style in Javascript
- functor
- monads
- curry
- composition
Crystal C bindings for cmark-gfm to work with Commonmark and Github Flavored Markdown
- crystal
- commonmark
- gfm
- markdown
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
Ada API to the Windows library
Crystal library for Win32 API
- crystal
- crystal-lang
- crystal-language
- crystal-shard
Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.
A certified Sudoku solver in Coq [maintainers=@siraben,@thery]
- coq
- sudoku
- nix-action
WIP Vulkan API bindings for Deno
Crystal bindings for libxdo (xdotool)
- crystal
- libxdo
- x11
A plugin for Mocha to pass JS files through the Traceur transpiler
Fast LZMA2 Wrapper for .NET
- compression
- dotnet
- lzma2
- nuget
A Golang binding for Windows Update Agent API
- golang
- go
- windowsupdate
- wua
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
- coq
- mathcomp
- modal-logics
- ctl
Parse and check doi objects in go.
- doi
- golang
- go
- parser
Implementation of the Rendezvous or Highest Random Weight (HRW) hashing algorithm in the Elixir Programming Language
- elixir
- elixir-lang
- distributed-systems
- hashing-algorithm
LibRHash for Pascal