Repository Index

Functional Programming for EcmaScript(Javascript)

• functional-programming
• fp
• js
• es

Static & dynamic D bindings to GLFW, compatible with BetterC, @nogc, and nothrow.

• dlang
• glfw-bindings
• bindbc
• glfw

Qt Qml bindings for the D programming language

XAsyncSockets is an efficient Python/MicroPython library of managed asynchronous sockets.

• python
• asynchronous
• sockets
• tcp

The Advanced Scripting Framework is a modern scripting for VBA: JavaScript-like syntax, classes with inheritance, map/filter/reduce, closures, regex. No COM, works everywhere. Transform Excel automation.

• interpreter
• language
• programming
• vba

Swift OpenSSL for OS X and Linux

Common Interface to ISO Prolog implementations from Common Lisp

Scala Native BLAS (Basic Linear Algebra Subprograms) supporting Linux and macOS

• scala
• scala-native
• math
• linear-algebra

The Thue programming language: Programming with grammars

A cookiecutter template for Common Lisp videogame projects

• common-lisp
• cookiecutter
• cookiecutter-template
• lisp

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

• coq-plugin
• coq-tactic
• coq
• docker-coq-action

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

Partial Commutative Monoids

• partial-commutative-monoid
• separation-logic
• coq
• coq-library

A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.

• cross-platform
• dialog
• file
• filesystem

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

Clj-crypto is a wrapper for Bouncy Castle which allows you to easily use cryptography in your clojure app.

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