Repository Index

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

Parallelize _anything_ //

• ocaml-library
• parallel-computing
• stream-processing
• multi-processing

The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

comvert bool expression to elasticsearch DSL in rust

• elastic
• elasticsearch
• dsl
• sql

Compute cluster (HPC) job submission library for Go (#golang) based on the open DRMAA standard.

Pure Python parser for classic Windows Event Log files (.evt)

Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.

• c
• cicili
• compiler
• lisp

Ordered-concurrently a library for concurrent processing with ordered output in Go. Process work concurrently and returns output in a channel in the order of input. It is useful in concurrently processing items in a queue, and get output in the order provided by the queue.

• concurrent
• golang
• golang-library
• data-science

A simple embeddable scripting language which supports concurrent event processing.

• interpreter
• language
• embeddable-scripting-language
• object-oriented-programming

Crystal bindings to the Zstandard (zstd) compression library

• crystal
• crystal-bindings
• zstd
• zstandard

Library for Classical Coq

The repository host gives no description.

• golang
• s-expressions
• expression
• evaluation

Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]

• docker-image
• dockerfile
• opam
• coq

A Scala Native wrapper of the SQLite C library

• database
• linux
• scala
• sqlite

Go Bindings for libsamplerate

• golang
• libsamplerate
• audio
• audio-processing

An Earley parser written in Ruby

• ruby
• rubynlp
• natural-language-processing
• nlp

CGo bindings to Yandex.Mystem

• russian-specific
• mystem
• cgo-bindings
• linguistics

Parseq is a library for Common Lisp used for parsing sequences such as strings and lists using parsing expression grammars.

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

OCaml bindings to PCRE (Perl Compatibility Regular Expressions)

• ocaml
• pcre
• pattern-matching
• string-matching

Make functions return a channel for parallel processing via go routines.

Elixir library providing some handy parallel processing facilities that supports configuring number of workers and timeout.

• parallel-processing
• elixir-library

Extremely simple Process pooling and task submission in Elixir

An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp