Highlights
- Pro
Lists (1)
Stars
Recently rewritten basic 16x16 Sprite Editor. Should still be compatible for 541, and will add support for other import/export types
Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.
Tiny JS is a lightweight JavaScript utility for dynamically creating HTML elements
Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)
A DSL for expressing and simulating Cellular Automata
Playing around "Less Slow" coding practices in C++ 20, C, CUDA, PTX, & Assembly, from numerics & SIMD to coroutines, ranges, exception handling, networking and user-space IO
An experiment in publishing a Haskell library as a Python Wheel.
A project that packages Agda as a Python package.
Categorical Abstract Machine: Theory, Formalisation, Extensions
Agda lecture notes for the Functional Programming course at TU Delft
Some code in the Rhombus/Shrubbery prototype
plclub / StraTT
Forked from sweirich/pi-forallSupplementary material for Stratified Type Theory
Formal verification of time complexity of some algorithms in Agda
TinyAPL, a tiny APL dialect and interpreter in Haskell
Semi-automatically generated Raylib bindings for Racket.