samestep Goto Github PK

adroit

AD on first-order SSA functions with arrays and algebraic types.

advent-of-code-2021

advent-of-code-2022

advent-of-code-2023

arabasic2

A standalone interpreter for Arabic BASIC

austral

Systems language with linear types and capability-based security.

austral.github.io

The website for the Austral programming language.

binaryen

Optimizer and compiler/toolchain library for WebAssembly

binaryuan

Lightweight JavaScript rewrite of the core of Binaryen.

boot-refresh

A Boot task used to reload Clojure code on the fly while developing.

catala-examples

Collection of Catala programs

catala-website

Source code for the website of the Catala language

clj-vulkan-guide

A guide to Vulkan in Clojure.

cs6120

Working through the Cornell CS 6120 Advanced Compilers course.

dagger

Incremental computation with implicit context.

diagrams

elliptic-curves

A synthesis/presentation of the basics of elliptic curves.

eslint-plugin-unary-minus

A typescript-eslint plugin restricting unary negation to numbers.

grackle

Diagram with JSX.

gradbench

Benchmark for differentiable programming across languages and domains.

guitar-notes

A little Python script for learning guitar sightreading.

gvc0

Gradually Verified C0

jacobs-landscape-poster

An attempt to troubleshoot LaTeX poster spacing.

lambda-calculus

A lambda calculus interpreter in JavaScript.

lean-docker

Docker for the Lean Theorem Prover

lightest

An extremely lightweight C++ test library.

lu-turabian

A LaTeX template for Turabian research papers at Liberty University.

metro-memory-fs-mkdir

As of version 0.53.1, metro-memory-fs does not define mkdir.

minkowski

2D Minkowski sums of polygons.

monkey-barrel