Pinned Repositories
ATS-Experiments
Small programs testing out features of the ATS (Postiatis) programming language.
theta
ats_csv_lexer
A program to parse CSV files, written in ATS (ATS2).
1BR
2023
BOTTOM_UP
BUP
ITT
Lambda-Calculus-by-Linear-HOAS
An interpreter of lambda calculus in ATS2 that uses a HOAS encoding in linear types.
LAMPA
A small parser library for the lambda calculus with define macros.
August-Alm's Repositories
August-Alm/ATS-Experiments
Small programs testing out features of the ATS (Postiatis) programming language.
August-Alm/ats_csv_lexer
A program to parse CSV files, written in ATS (ATS2).
August-Alm/BOTTOM_UP
August-Alm/1BR
August-Alm/2023
August-Alm/BUP
August-Alm/ITT
August-Alm/Lambda-Calculus-by-Linear-HOAS
An interpreter of lambda calculus in ATS2 that uses a HOAS encoding in linear types.
August-Alm/LAMPA
A small parser library for the lambda calculus with define macros.
August-Alm/MinTheta
August-Alm/MY_QMK_CRKBD
August-Alm/Self
August-Alm/spec
WebAssembly specification, reference interpreter, and test suite.
August-Alm/synapse-iot-poc
August-Alm/theta
August-Alm/zmk-config-zen-2
ZMK configuration repo for v2 of the Corne-ish Zen keyboard
August-Alm/zmk-corne