Repository Index

Generate images from Graphviz dot strings in Clojure and Clojurescript

An embeddable implementation of the Ngaro Virtual Machine for Go programs

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

Elixir macro for extracting or transforming values inside a pipe flow.

• elixir
• pipe
• error-handling

OCaml/MPI interface

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

• golang

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

Clang port to the GBZ80 CPU

Common Lisp JSON handling library (not a parser!), with the aim for convenience and brevity.

Ant Design bindings for Fable Elmish

• fable
• antd

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

Command line tool for Bluetooth Low Energy MicroPython devices

• micropython
• python
• embedded
• cli

Read, modify, and write Common Lisp source code while preserving whitespace and comments

Live graphs of worldwide CoVID-19 data

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

The repository host gives no description.

Pascal to Ada translator

• ada
• pascal
• translator
• ada-language

Common Lisp system for decoding public JSON Web Keys (JWK)

• common-lisp
• jwk
• jwkset
• lisp

A Clojure library designed to provide hassle-free, ready to go gRPC experience without ton of preparations and Java code.

Micropython binding for the ESP32 DL AI vision models like face detection / recognition, imagenet classifier or pedestrian (human) detection

• esp32
• face-detection
• imagenet-classifier
• micropython

Rust implementations of core Algorand functionality that is exposed to other languages via FFIs.

• algokit
• lib
• experimetal