"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 comprehensive LFE rebar3 plugin for all your LFE tooling needs

Uberjar builder for deps.edn

Execute and control OS processes from Erlang/OTP

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

A ready-to-fork interpreted functional language with type inference

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