Repository Index

Elixir binding for libgraphqlparser

V Wrapper For ZMQ

• vlang
• zmq
• networking
• v

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

Unofficial OpenCV binding for D programming language

Simple Groovy options library

A utility library to write code in functional programming style in Javascript

• functor
• monads
• curry
• composition

A different tap parser

ffmpeg crystal bindings

Perl bindings for playwright

Command line tool for Bluetooth Low Energy MicroPython devices

• micropython
• python
• embedded
• cli

Styled Component for yew

• css
• wasm
• web
• yew

Crystal shard wrapping libgphoto2

• libgphoto2
• crystal
• photography
• gphoto2

Kotlin recursion schemes with Arrow

• recursion-schemes
• kotlin
• functional-programming
• recursive-structures

Crystal C bindings for cmark-gfm to work with Commonmark and Github Flavored Markdown

• crystal
• commonmark
• gfm
• markdown

Simple Hunspell wrapper for Delphi

A scala-native bridge to Cocoa

• scala-native
• cocoa
• objective-c
• scala

Javascript recursion schemes compatible with flow-static-land

A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.

• algorand
• blockchain
• cryptocurrency
• domain-specific-language

The fastest HTML builder engine for Crystal

• builder
• crystal
• html
• speed

MXNet (AI/ML) bindings for the Crystal language.

• crystal
• mxnet
• deep-learning
• machine-learning

Ada API to the Windows library

A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.

• coq
• vst
• compcert
• graph-algorithms