Repository Index

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

The GMap iteration macro, plus a few other useful macros.

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

Some Clojure-ish thingies for Common Lisp

• clojure
• common-lisp
• lisp

OCaml bindings for OpenGL

• opengl
• ocaml

Live graphs of worldwide CoVID-19 data

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

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

A web framework for writing react components in common lisp using jscl

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

Lazy iterator implementation for Golang

• golang
• iterator
• golang-package
• golang-module

Variadic aritity tree with a zipper for Elixir!

COM-wrapper of Cloo to execute OpenCL code from VBA/Excel.

• excel
• excel-vba
• vbscript
• vba

Capstone Disassembler Library Binding for Delphi

• disassembler
• assembler
• pascal
• delphi

Clojure-compatible threading/transformation/arrow macros for Common Lisp

Minimal cgo bindings for libenca

Blen2d4Delphi is alive again, which was started by #neslib (Erik van Bilsen: https://github.com/neslib/DelphiBlend2D)

High-performance network library for D programming language, event-driven asynchonous implemention(IOCP / kqueue / epoll).

• tcp
• tls
• ssl
• socket

pipelines contains generic functions for concurrent processing

• concurrency
• go
• golang
• pipelines

Seamless Interface to Octave -- and Matlab code

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

• coq
• mathcomp
• ssreflect
• tarjan-algorithm

a parser for Forsyth-Edwards Notation (for encoding chess positions)