Repository Index

Chuck Norris Programming Language

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

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

Python bindings for hashcat

A debugger backend and LUA wrapper for PIN

Port of Sciter headers for the D language

• sciter
• tiscript
• htmlayout
• gui

A query library for retrieving part of JSON based on JSONPath syntax.

• jsonpath
• json
• peg
• golang

Generate Clojure syntax from vectors

• clojure

A compiler for an Ada-like language

Mutex Server using WebSocket

• mutex
• server
• critical-section
• websocket

Mutation analysis tool for Coq verification projects

• coq
• mutation-analysis
• serapi

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]

Generate images from Graphviz dot strings in Clojure and Clojurescript

Micromega tactics for Mathematical Components

• coq
• ssreflect
• mathcomp
• proof-automation

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

An embeddable implementation of the Ngaro Virtual Machine for Go programs

A pool that spins up a given number of processes in advance and attaches stdin and stdout when needed. Very similar to FastCGI but works for any command.

Gatherers library for Java Stream API

• java
• streams-api
• gatherer
• gatherers

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

Implementation of sum/option types using QVariant

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]

• coq
• bourbaki
• set-theory
• mathcomp

Monitor and restart background threads.

Software Transactional Locks

D bindings for the sokol headers (https://github.com/floooh/sokol)

• bindings
• d
• dlang
• sokol

V wrapper around the C Java Native Interface

• java
• jni
• kotlin
• android