Repository Index

Chuck Norris Programming Language

• esoteric-language
• chuck-norris
• language
• javascript

Dynamic Binding for libui (https://github.com/andlabs/libui) in D

Mutex Server using WebSocket

• mutex
• server
• critical-section
• websocket

Process pools for OCaml

Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]

An interpreter for C flat, a music-based programming language

An embeddable implementation of the Ngaro Virtual Machine for Go programs

Parser and printer for date-times in ISO8601

• ocaml
• iso8601
• datetime
• parser

coinduction library for Coq

A compatible re-implementation of the BibTeX program in Common Lisp, with a BST-to-CL compiler. By Matthias Köppe

OCaml/MPI interface

Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg

• combinatorial-optimization
• community-detection
• dynamic-graphs
• edge-orientation

promise semaphore

Embeddable Forth interpreter written in Ada

• ada
• forth
• interpreter

A couple of lambda shorthand macros

Stable sort algorithms and their stability proofs in Rocq

• mathcomp
• ssreflect
• sorting-algorithms
• mergesort

Powerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀

• pipe
• pipeline
• kleisli
• ramda

🇪🇺 Resources and Learning Games for European Romance Language Communication

• language
• romance-languages
• language-learning

Anonymous lambda literal in Common Lisp, respecting Scala

A port of the Javascript library to GML2.3

Experiments on workflow with common lisp

• emacs
• common-lisp
• slime
• test-automation

Simple Shopify API for the Go Programming Language

Java scope functions inspired by Kotlin

• functional-programming
• java
• java-utils
• java-utilities

Trivial/Tagless Polytypic Functions