Repository Index

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

A different tap parser

ffmpeg crystal bindings

HAR (HTTP Archive) parser in Crystal

• har
• http-archive
• http-archive-format
• json

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

Javascript recursion schemes compatible with flow-static-land

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

Binary parser for Crystal

• binary-parser
• crystal
• crystal-binary-parser

Dynamic and static D bindings for bgfx

A Mustache template compiler.

• mustache
• translator
• compiler

Immutable Ropes for Common Lisp

Live graphs of worldwide CoVID-19 data

• covid-19
• coronavirus
• coronavirus-tracker
• rust

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.

Backport for type hinting generics in standard collections and union types as X | Y

Go option and result types that optionally contain a value

• golang
• option
• result
• error

A certified Sudoku solver in Coq [maintainers=@siraben,@thery]

• coq
• sudoku
• nix-action