Repository Index

VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations

A powerful JavaScript functional programming toolset, including utility functions and abstract data structures.

• functional-programming
• javascript
• js
• monad

Chuck Norris Programming Language

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

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

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

:evergreen_tree: Parses indented code and returns a tree structure.

• go
• parser

Simple Shopify API for the Go Programming Language

Java scope functions inspired by Kotlin

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

OpenFaaS template for the crystal programming language

Unofficial OpenCV binding for D programming language

A utility library to write code in functional programming style in Javascript

• functor
• monads
• curry
• composition

Kotlin recursion schemes with Arrow

• recursion-schemes
• kotlin
• functional-programming
• recursive-structures

A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.

• coq
• vst
• compcert
• graph-algorithms

High-performance network library for D programming language, event-driven asynchonous implemention(IOCP / kqueue / epoll).

• tcp
• tls
• ssl
• socket

COM-wrapper of Cloo to execute OpenCL code from VBA/Excel.

• excel
• excel-vba
• vbscript
• vba

Dynamic bindings to the CUDA library for the D Programming Language.

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

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

Rust Inpterpreter for Esopo language AshPaper conceived by William Hicks

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

LALR(1) Parser Generator for the D Programming Language

Stateful actors on Apache Flink 2.x and Java 21 — durable per-key state, exactly-once messaging, Kafka and Kinesis I/O, Kubernetes-native deployment. Continues the Apache Stateful Functions programming model on the modern Flink line.

• actor-model
• apache-flink
• distributed-systems
• event-driven

HTPL is a programming language based on HTML

• programming-language
• htpl-compiler
• html

📅 An esoteric programming language for no reason whatsoever.

• esoteric-language
• esoteric-programming-language
• esolang
• esolangs