Repository Index

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]

• coq
• bourbaki
• set-theory
• mathcomp

Monitor and restart background threads.

Go utility library for convenient looping using Go's range-over-func feature

• golang

This is a Rust / Wasm client web app which is a task control center. You can create timed tasks for your devices which support tcp connection and execute tasks on time through its core.

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

• parallel-processing
• elixir-library

Build parsers easily

• parser
• parser-library
• parsing
• pratt-parser

A natural language parser for validating complex date ranges

Generates Blazor -> Javascript strongly typed interop methods.

A lock-free concurrent data structures library for Common Lisp.

• common-lisp
• concurrency
• lisp
• primitives

Bindings for libncursesw and crt class

🇪🇺 Resources and Learning Games for European Romance Language Communication

• language
• romance-languages
• language-learning

Common Lisp feed parser

:evergreen_tree: Parses indented code and returns a tree structure.

• go
• parser

Experiments on workflow with common lisp

• emacs
• common-lisp
• slime
• test-automation

Tool that allows to write Erlang NIF libraries in Haskell

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

• functor
• monads
• curry
• composition

Pure functions for slices.

• golang
• go
• generics

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

general purpose utils for interacting with vert.x

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 GMap iteration macro, plus a few other useful macros.

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

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