Read parquet format with Haskell

Proof writing language with Egison pattern matching

Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust

BNF Converter

Proof-of-concept prototype for Userland

Scheme Classical Mechanics utilities from Gerald Jay Sussman, as found at http://groups.csail.mit.edu/mac/users/gjs/6946/ and mit-scheme distribution removed.

General-Purpose Computer Algebra System as an EDSL in Haskell

TiML: A Functional Programming Language with Time Complexity

A prototypical dependently typed languages with sized types and variances

Create book from markdown files. Like Gitbook but implemented in Rust

Jupyter notebooks and documentation for SageManifolds

A command-line tool that adds PDF bookmarks (outlines or table of contents) using an indentation-based format.

Write You a Scheme

DoWhy is a Python library for causal inference that supports explicit modeling and testing of causal assumptions. DoWhy is based on a unified language for causal inference, combining causal graphic…

Drawing Link Projection Diagrams

Difference lists in Haskell

Interactive Scheme Primer, written in Scheme.

Backtracking monad in Haskell

Non-Determinism Monad for Level-Wise Search

Tensors in Haskell

CNN in APL

PostScript programming in the Coq proof assistant

The Little Book of Rust Macros

Guy Steele's RABBIT Scheme compiler

an interactive, animated COVID-19 coronavirus map to track the outbreak over time by country and by region for selected countries

Implementation of Martin-Löf Type Theory in Haskell

Haskell library for non-deterministic pattern matching

Manipulating Egison patterns: abstract syntax, parser, and pretty-printer

textlint is the pluggable linter for natural language text.

Lean 4 programming language and theorem prover