gfngfn

shellcheck

ShellCheck, a static analysis tool for shell scripts

slidev

Presentation Slides for Developers

jsplumb

Visual connectivity for webapps

jnv

interactive JSON filter using jq

plugins

🍣 The one-stop shop for official Rollup plugins

beancount

Beancount: Double-Entry Accounting from Text Files.

wavedrom

:ocean: Digital timing diagram rendering engine

djot

A light markup language

creusot

Creusot helps you prove your code is correct in an automated fashion.

ormolu

A formatter for Haskell source code

sicp-pdf

SICP PDF with Texinfo and LaTeX source

ppx_deriving

Type-driven code generation for OCaml

Earley

Parsing all context-free grammars using Earley's algorithm in Haskell.

prettyprinter

A modern, extensible and well-documented prettyprinter.

SaberVM

weeder

A re-implementation of weeder using HIE files

community-edition

The community edition of jsPlumb, versions 1.x - 6.x

httpaf

A high performance, memory efficient, and scalable web server written in OCaml

pcre-ocaml

OCaml bindings to PCRE (Perl Compatibility Regular Expressions)

uuseg

Unicode text segmentation for OCaml

uunf

Unicode text normalization for OCaml

hspec-golden

Golden tests with Hspec

graten

"Gradual Tensor Shape Checking" (ESOP 23)

vl

PWV Functional Language

satysfi-notebook

satysfi-ts-mode

A tree-sitter based major-mode for SATySFi

satysfi-footnote-scheme-ext

A package to allow SATySFi to have floating boxes at the bottom of pages.

macro-in-python

Using Macros in Python.

lispjit

PoC lisp interpreter that performs JIT Common-Lisp code generation

satysfi-registry