Repository Index

🤘Utility library for functional JavaScript. With ❤️ to Ramda.

• ramda
• ramda-functions
• utils
• utilities

Concurrency oriented programming in Lua

Delphi wrapper for OpenSSL

• cryptography
• delphi
• openssl
• rsa

A realtime visual programming language for interactive media.

• clang
• llvm
• visual-programming-language
• compiler

Swift cryptography library for Bitcoin and Nostr. ECDSA, Schnorr, ECDH, and zero-knowledge proofs on secp256k1. Apple platforms and Linux.

• taproot
• secp256k1
• swift
• schnorr

Transducers: Ergonomic, efficient data processing.

• functional-programming
• lisp
• transducers

A complete set of primitives for concurrency and reactive programming on Swift

• swift
• concurrency
• concurrency-library
• future

A programming language for generating code for multiple platforms

A compiler for the 🎃 Spooky 😱 programming language 👻

• halloween
• surprise
• fear
• programming-language

Javascript Generalized Parser Combinators

• functional-programming
• parsec
• parser-combinator
• monad

SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)

• spoc
• ocaml
• opencl
• cuda

A little scheme implementation on top of Clojure

• scheme
• evaluator
• lisp
• macros

A revolutionary new dataflow programming language for the AI era, with automatic parallelization and very high standards of static verification

Gentee - script programming language for automation. It uses VM and compiler written in Go (Golang).

• scripting-language
• automation
• programming-language
• compiler

Functional Experiment in Golang

• functional-programming
• go
• golang
• functional

Algebraic data types in Common Lisp

• common-lisp
• algebraic-data-types
• functional-programming

Embedded and Extensible Scripting Language in Clojure

• lua
• eden
• clojure
• clojurescript

Elixir implementation of an interpreter for the Monkey programming language

• elixir
• monkey
• interpreter

A library that simplifies error handling for Functional Programming in Java

• java
• functional-programming
• exception-handling
• error-handling

The single instruction language - Flip a bit, then Jump

• esoteric-programming-language
• programming-language
• oisc
• esolang

SOAP client for Elixir programming language

• soap
• elixir

A cross-platform modding language for GameMaker games. // Moved to Codeberg! https://codeberg.org/katsaii/catspeak-lang

• domain-specific-language
• gamemaker-studio-2
• dynamically-typed
• compiler

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

• coq
• library
• programming
• coq-platform

A Music programming language. Translates source code into MIDI. Includes a player. Supports MIDI-Karaoke. Includes a MIDI analyzer.

• midi
• music-programming
• karaoke
• karaoke-player