August-Alm

Pinned Repositories

ATS-Experiments
Small programs testing out features of the ATS (Postiatis) programming language.
Language:ATS60
theta
Language:Haskell20
ats_csv_lexer
A program to parse CSV files, written in ATS (ATS2).
Language:ATS10
1BR
Language:F#00
2023
Language:F#00
BOTTOM_UP
Language:C00
BUP
Language:F#00
ITT
Language:F#00
Lambda-Calculus-by-Linear-HOAS
An interpreter of lambda calculus in ATS2 that uses a HOAS encoding in linear types.
Language:ATS01
LAMPA
A small parser library for the lambda calculus with define macros.
Language:C00

August-Alm's Repositories

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