Repository Index

The Rockstar programming language specification

Hoare Type Theory

• hoare-logic
• hoare-monads
• separation-logic
• coq

An UnderscoreJS port for Coldfusion. Functional programming library.

• coldfusion

High-performance Swift framework for task execution, memory caching, and data management with intelligent execution merging, TTL caching, and retry logic

• async-await
• cache
• caching
• cocoapods

Unit tests generator for Go programming language

• go
• golang
• unit-testing
• generator

Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more

• logging
• process
• streams
• serializer

Wrap existing D code for use in Python, Excel, C#

• python
• dlang
• excel
• data-science

Japt 1.4.5, the other JavaScript golfing language

• javascript
• esolang
• golfing-language
• programming-language

Monadic effects and equational reasoning in Rocq

• monads
• monad-transformers
• probabilistic-programming
• nondeterminism

Tiny DSL for idiomatic date parsing and formatting in Ruby

• ruby
• dsl
• date
• syntax-sugar

Guile-SSH is a library that provides access to the SSH protocol for GNU Guile programs.

• scheme
• c
• lisp
• guile

Gowl is a process management and process monitoring tool at once. An infinite worker pool gives you the ability to control the pool and processes and monitor their status.

• golang
• go
• pooling
• pool

A setf like macro for functional programming

pico sized functional library

• javascript-array
• functional-programming
• javascript
• es6

UNIS: A Common Architecture for String Utilities within the Go Programming Language.

• golang
• string
• utility-wrapper

Load Common Lisp code blocks from Org files

• literate
• programming
• lisp
• org

Functional programming in Groovy

Raylib binds to elixir for programming games

• raylib
• elixir
• bindings
• audio

A wrapper module for using spaCy natural language processing library from the Ruby programming language via PyCall

• nlp
• parsing
• ruby
• spacy

Golang source code parsing, usage like reflect package

• refactor
• metaprogramming
• go
• ast

Simple internal application messaging for Delphi

• dpmpackage
• delphi
• vsoft
• vcl

Parser for ABNF Grammars

Common Lisp bindings and interface to the Allegro 5 game programming library

• common-lisp
• game-development
• allegro5
• bindings

Natural 🌿 effect system that fits TypeScript

• algebraic-effects
• computational-effects
• effect-system
• extensible-effects