Repository Index

A subset of TypeScript for developing Algorand Smart Contracts. Enables AVM development with native TypeScript syntax, tooling, and IDE support

Modern concurrency tools for Crystal

• crystal
• concurrent

Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]

• coq
• mathcomp
• regular-languages
• ssreflect

Advanced Developer Async Programming Toolkit

• game-engine
• event
• framework
• async

A command line tool and library for generating FFI wrappers for Common Lisp

• ffi
• common-lisp
• cffi
• clang

Use JavaScript to generate JavaScript

• preprocessor
• build-tool
• babel
• webpack

A powerful JavaScript functional programming toolset, including utility functions and abstract data structures.

• functional-programming
• javascript
• js
• monad

Common tools for projects

• cross-platform
• pascal-language
• library
• json

Mutation analysis tool for Coq verification projects

• coq
• mutation-analysis
• serapi

Helper tool to debug parser and formatter

Tool that allows to write Erlang NIF libraries in Haskell

Command line tool for Bluetooth Low Energy MicroPython devices

• micropython
• python
• embedded
• cli

A concurrent toolkit to help execute funcs concurrently in an efficient and safe way. It supports specifying the overall timeout to avoid blocking.

• golang
• go
• goroutine

A collection of tools for Golang

Crystal bindings for libxdo (xdotool)

• crystal
• libxdo
• x11

Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]

• coq
• complex-analysis
• real-analysis

A string parsing tool inspired by the REXX PARSE construct.

JRuby tools wrapper for Apache OpenNLP

Elixir binding to the granddaddy of HTML tools

• elixir
• html-par
• html-ren
• html-repair

MLIR Toolkit in Elixir and Zig.

• elixir
• gpu
• mlir
• compiler

JACK interface for Elixir using NIFs.

• elixir
• audio
• jack
• jackaudio

tools for writing lexers / parsers in Ada

• ada
• lexer
• reference-counting

ALSA NIFs in C for Elixir.

• elixir
• elixir-library
• alsa
• nif

Small-C Compiler, Assembler, Linker, Make tool, and Library for 16-bit MS-DOS.

• 16-bit
• 8086
• compiler
• devkit