Repository Index

Trivial/Tagless Polytypic Functions

An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp

A Coq library providing tactics to deal with hypothesis

• coq
• formal-proofs
• proof-assistant
• tactics

cookiestxt implement parser of cookies txt format

A utility library to write code in functional programming style in Javascript

• functor
• monads
• curry
• composition

Perl bindings for playwright

Pure functions for slices.

• golang
• go
• generics

Command line tool for Bluetooth Low Energy MicroPython devices

• micropython
• python
• embedded
• cli

Kotlin recursion schemes with Arrow

• recursion-schemes
• kotlin
• functional-programming
• recursive-structures

Javascript recursion schemes compatible with flow-static-land

A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.

• algorand
• blockchain
• cryptocurrency
• domain-specific-language

The fastest HTML builder engine for Crystal

• builder
• crystal
• html
• speed

Monadic Assertions library

Read, modify, and write Common Lisp source code while preserving whitespace and comments

Some Clojure-ish thingies for Common Lisp

• clojure
• common-lisp
• lisp

Immutable Ropes for Common Lisp

A Delphi wrapper for WinSparkle

🚧 Flexible mechanism to make execution flow interruptible.

• hacktoberfest

Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.

Backport for type hinting generics in standard collections and union types as X | Y

A web framework for writing react components in common lisp using jscl

Go option and result types that optionally contain a value

• golang
• option
• result
• error

AS3-based Javascript interpreter, minus a few features (prototype chain, mainly)

Crystal shard aiming to assist with parsing backtraces into a structured form.

• crystal
• stacktrace
• parser