Repository Index

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

• language
• tlaplus
• quint
• apalache

Facilities for async programming and communication in Clojure

Functional programming library for Go 1.24+, inspired by fp-ts. Uses generic type aliases for a clean, composable API. Provides Option, Either, Result, IO, IOResult, Reader, and ReaderIOResult monads, plus optics (Lens, Prism, Traversal) for immutable data manipulation. Supports Functor, Applicative, and Monad abstractions with do-notation-style

• functional-programming
• go
• golang
• library

A modular toolkit for building fast, reliable Web applications and libraries with Rust and WASM

• webassembly
• wasm
• rust
• web

:sparkles: Magical headers that make your C++ library accessible from JavaScript :rocket:

• c-plus-plus
• node-addon
• asmjs
• nodejs

🔥 Insanely fast native C++, Swift or Kotlin modules with a statically compiled binding layer to JSI

• cpp
• jsi
• kotlin
• library

Compiler for multiple programming models (SYCL, C++ standard parallelism, HIP/CUDA) for CPUs and GPUs from all vendors: The independent, community-driven compiler for C++-based heterogeneous programming models. Lets applications adapt themselves to all the hardware in the system - even at runtime!

• sycl
• gpgpu
• high-performance
• gpu-computing

Rust bindings for webview, a tiny cross-platform library to render web-based GUIs for desktop applications

A rusty dynamically typed scripting language

• dyon
• scripting-language
• dynamic

DeepStream SDK Python bindings and sample applications

Lightweight library for web server applications in Swift on macOS and Linux powered by coroutines.

• swift
• coroutines
• synchronous-apis
• server-side-swift

:sweat: rewrite of the CoffeeScript compiler with proper compiler design principles and a focus on robustness and extensibility

Parse strings using a specification based on the Python format() syntax.

Zygo is a Lisp interpreter written in 100% Go. Central use case: dynamically compose Go struct trees in a zygo script, then invoke compiled Go functions on those trees. Makes Go reflection easy.

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

• functional-programming
• common-lisp
• type-safety

Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.

• liquidsoap
• streaming
• webradio

New Godot bindings for Swift

Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the Hedy level sequence, kids master a subset of syntactically valid Python.

• hedy
• gradual
• education
• programming

Source code of Ferrocene, safety-critical Rust toolchain

A secure WebAssembly VM catered for decentralized applications.

Build highly concurrent, distributed, and resilient message-driven applications using Java/Scala

• actor-model
• cloud-native
• concurrency
• distributed-actors

the kdl document language specifications

• kdl
• serialization
• language
• specification

🏃‍♂️🏃‍♀️🏃 JS minification benchmarks: babel-minify, esbuild, terser, uglify-js, swc, google closure compiler, tdewolff/minify, oxc-minify

• minification
• benchmarks
• javascript
• babel-minify

A collection of well known Algebraic Data Types for your utter enjoyment.

• adt
• predicate-functions
• lift
• unary-functions