Repository Index

An Optional Type System for Lua

An ERB-style templating language for Go.

• go
• template-language
• erb

Mono/.NET bindings for Qt

• qt
• mono
• csharp
• dotnet

💎 Ruby wrapper for Pygments syntax highlighter

• pygments
• ruby
• syntax-highlighting

:musical_note: strongly-timed musical programming language

• language
• composition
• programming-language
• synthesis

Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.

• algebraic-data-types
• optics
• functional-programming
• algebra

This project brings FlatBuffers (an efficient cross platform serialization library) to Swift.

Metaprogramming, verified meta-theory and implementation of Rocq in Rocq

• coq
• metaprogramming
• coq-formalization
• rocq

The ultimate Python binding for Vulkan API

• vulkan
• python

A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.

• programming-language
• lisp
• malbolge
• esoteric

RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas

• fsharp
• rfc
• language-design
• programming-language

A parser combinator library for F#

Safe and easy to use crypto for iOS and macOS

• cryptography
• swift
• libsodium

A thin Java wrapper to access the Steamworks API

• java
• bindings
• steamworks

An opinionated F# Library for error handling

• fsharp
• error-handling
• railway-oriented-programming
• category-theory

java port of Underscore.js

• java
• underscore
• javascript
• functional-programming

"Lispsy" Lisp(ish) to C Converter (designed for CLISP)

A port of Coq to Javascript -- Run Coq in your Browser

• coq
• proof-assistant
• javascript
• integrated-development-environment

A Parsing Expression Grammar (PEG) module, using the D programming language.

Bindings to mapnik for node.js

Auto generated Go wrapper for Dear ImGui via cimgui

• golang
• imgui
• cimgui

Project Delphi-OpenCV. Translation of OpenCV library header files in Delphi

• opencv
• delphi
• fpc
• ffmpeg

A wrapper for the Eclipse Mosquitto™ MQTT client library for PHP.

• php
• mqtt-client
• mosquitto
• libmosquitto

Lanes is a lightweight, native, lazy evaluating multithreading library for Lua 5.1 to 5.5.