philnguyen

slog-lang1

Slog 1.0

Category_Theory_Resources

List of resources for learning Category Theory

dde

Pure Demand Operational Semantics

Category_Theory_Machine_Learning

List of papers studying machine learning through the lens of category theory

sturdy

Sturdy is a library for developing sound static analyses in Haskell.

lean4-raytracer

A simple raytracer written in Lean 4

lean4-metaprogramming-book

maam

A monadic approach to static analysis following the methodology of AAM

semantic

Parsing, analyzing, and comparing source code across many languages

fused-effects

A fast, flexible, fused effect system for Haskell

yfinance

Download market data from Yahoo! Finance's API

Idris2

A purely functional programming language with first class types

lean4

Lean 4 programming language and theorem prover

macOS-Simple-KVM

Tools to set up a quick macOS VM in QEMU, accelerated by KVM.

rust

Empowering everyone to build reliable and efficient software.

first-order-miniKanren

miniKanren with a first-order representation of the search space

OCanren

Statically typed embedding of miniKanren relational programming language into OCaml

microKanren

The implementation of microKanren, a featherweight relational programming language

icfp2017-artifact-auas7pp

ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems

faster-minikanren

A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.

mediKanren

Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.

racket-x64asm

a simple x64 assembler written in typed/racket

scala-am-abstractgc

An extended version the Scala-AM framework that supports abstract reference counting (and other approaches to abstract GC)

scala-am

(Abstract) Abstract Machine Experiments using Scala

malfunction

Malfunctional Programming

brag

Racket DSL for generating parsers from BNF grammars [moved to https://git.matthewbutterick.com/mbutterick/brag]

pie

The Pie language, which accompanies The Little Typer by Friedman and Christiansen

Barliman

Prototype smart text editor

notation

Collection of quotes on notation design & how it affects thought.

ChezScheme

Chez Scheme