Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)

"Middleware" (infrastructure) for host-FPGA applications (e.g., accelerators)

CLI tool to insert spacers when command output stops

Track changes to SQLite tables using triggers

A linter for Racket.

Haskell implemented with combinators

👤Minimalist Google OAuth Authentication for Elixir Apps. Tested, Documented & Maintained. Setup in 5 mins. 🚀

a small scripting language for the web

A platform for computing and creating applications.

Fast and concurrent scripting.

Parser combinators built for speed and memory efficiency

A type-checker for Erlang

Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the…

PCB for ULX4M FPGA R&D board

Scripting with Least Privilege

A collection of core libraries for Racket

A ClojureScript coding environment for beginners.

Computer Algebra, Physics and Differential Geometry in Clojure.

DuckDB NIF for Erlang

Erlang NIF for sqlite

🔥 Phoenix is the web framework without compromise on speed, reliability or maintainability! Don't settle for less. 🚀

A modern rebar3 plugin for LFE projects

Uberjar builder for deps.edn

Execute and control OS processes from Erlang/OTP

A prompt engineering functional programming language

A reference library for constraint-solving with propagators and CDCL.

Haskell embedding of PlusCal

A Racket refactoring engine

A modern schematic entry and simulation program