Repository Index

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

A Rocq formalization of information theory and linear error-correcting codes

• information-theory
• error-correcting-codes
• probability
• convexity

Simple Node.JS stream (streams2) Transform that runs the transform functions concurrently (with a set max concurrency)

The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]

• coq
• refinement
• mathcomp
• coq-platform

A PEG parser/transformer with a pleasant Elixir DSL.

Simple and performant utilies using Go generics inspired by JavaScript and Python

• golang
• go
• utilities
• generics

Messaging system for communication between classes / layers in delphi

• delphi
• firemonkey
• vcl
• fmx

A portable cross-platform pinvoke .NET wrapper around libsass to convert SCSS to CSS

• libsass
• dotnet
• dotnet-standard
• scss

Intel Integrated Performance Primitives and Intel Threading Building Block for Delphi RTL

query language and terminal utility for querying and transforming Lisp, JSON and other text files. written in Common Lisp

• common-lisp
• domain-specific-languages
• dsl
• json

🐝 A Highly Performant and easy to use goroutine pool for Go

• goroutine
• goroutine-pool
• goroutine-scheduling
• task-scheduler

A framework for implementing and certifying impure computations in Coq

• coq
• formal-verification
• freer-monads

High performance utility functions using Generics

• filter
• functional
• generics
• go

Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]

• coq
• mathcomp
• regular-languages
• ssreflect

CrossPascal aims to be a Delphi 7 compatible cross-platform source-to-source compiler which generates intermediate C code.

Modified HP-48 Superchip Binary to address undesirable quirks present in the platform.

Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436

Old Coq plugin for parametricity [maintainer=@ppedrot]

• parametricity
• coq-plugin
• coq
• docker-coq-action

Ada binding to the SFML library

• ada
• binding
• sfml
• multimedia

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

go-fasttld is a high performance effective top level domains (eTLD) extraction module.

• compressed-trie
• idn
• idna
• ipv4

Jmeter as code is the easy way to write jmeter test as code.

• jmeter
• java
• performance-testing
• performance

A modern, template-based, open source data transformation language