Repository Index

Less compiler for golang

Common Lisp bindings for Enchant spell-checker library

Async is an asynchronous task package for Go

• async
• async-await
• golang
• await

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

Parse, manipulate and render CommonMark in Scala Native

• commonmark
• scala
• scala-native

GNAT Components Collection – Bindings to C libraries

Common Lisp CFFI bindings to the Horde3D graphics library.

A plugin for Mocha to pass JS files through the Traceur transpiler

Fast LZMA2 Wrapper for .NET

• compression
• dotnet
• lzma2
• nuget

Elixir RSS/Atom parser

Run speedtest-cli and publish results via MQTT

• mqtt
• smarthome
• speedtest
• dsl

Python bindings for Mosaic.

• plotly-dash
• streamlit

Racket to JavaScript Compiler

David McClain's 'Actors' package for LispWorks

Migrate your active record migrations to ecto compatible migrations

A string parsing tool inspired by the REXX PARSE construct.

Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]

• coq
• mathcomp
• modal-logics
• ctl

HTPL is a programming language based on HTML

• programming-language
• htpl-compiler
• html

Import and export CommonJS modules in js_of_ocaml

Static & dynamic D bindings to the CSFML library, compatible with BetterC, @nogc, and nothrow.

• bindbc
• csfml
• dlang
• sfml

Termbox2 bindings for Common Lisp

This library is a collection of functional idioms for ActionScript 3 based on Haskell and Coffeescript.

This javascript webapp converts GLSL code from shadertoy.com to Gamemaker GLSL ES as well as output other necessary code to run.

• shadertoy
• gamemaker
• text-processing

Bindings to special math functions from the Cephes library.