Repository Index

Composable Concurrency Abstractions for JavaScript. :railway_track: :rhinoceros: :train: :vertical_traffic_light:

• concurrency
• async-await
• reactive-programming
• streams

OCaml library for forking child processes to perform work on multiple cores

A collection of tools for Golang

Lua wrapper arount the Tweet NaCl cryptographic library

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]

• coq
• mustache-templates
• continuous-integration

GML VM and Compiler built inside of GML with the long term goal to be able to compile any project folder.

Less compiler for golang

Gulp plugin to transform ES6 to ES5.

• jstransform
• javascript
• gulp
• es6

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 plugin for Mocha to pass JS files through the Traceur transpiler

A Simple DSL to create Directory Tree with Text Files

• groovy
• dsl
• jvm
• directory

Rust Inpterpreter for Esopo language AshPaper conceived by William Hicks

• esopo
• esolang
• esoteric-language
• esoteric-programming-language

Gatling DSL extensions — feeders, profile management, transactions, assertions, Redis integration, and utility functions

• gatling
• performance
• performance-testing
• gatling-plugin

LALR(1) Parser Generator for the D Programming Language

Racket to JavaScript Compiler

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

Like `Promise.all` but for object properties.

• deno
• promise

MLIR toolkit for Elixir with Zig native bindings

• elixir
• gpu
• mlir
• compiler

Abstractions and utilities to get rid of boilerplate code in business logic

• datastructures
• generic
• go
• golang

Facility, Prosperity and Maintainability.

Compiler & Runtime for 'Almost Binary'. Code in platform-independent binary and utilize high-level data structures and state-of-the-art libraries (e.g. quantum computing, blockchain, ..)

• binary
• compiler
• runtime
• csharp

Chameleon template compiler for pyramid

This is a library for generating a Common-Lisp foreign function interface (FFI) from GObject Introspection XML files (GIR files).

• gobject-introspection
• code-generation