CodingCellist's repositories
idris2-buffered-channels
An attempt at implementing various channels for inter-process communication in Idris2
idris2-dot-parse
A lexer+parser library for the DOT language (graphviz) written in Idris2.
idris2-dsa-gen
Generating Idris2 code based on Dependent State Automata diagrams.
idris2-skeletons
An implementation of various parallel programming patterns (aka. skeletons) in Idris2
SebLague-Chess-Challenge
Write a chess bot in 1024 C# code tokens or fewer (https://youtu.be/iScy18pVR58). Might not go anywhere because apparently I've got a Ph.D. I should be working on...
idris2-sinter
A sinter backend for idris2
codingcellist.github.io
Repo for my personal website. Mostly just a bit of background info, my public key, and the occasional blog entry.
Idris2
A purely functional programming language with first class types
MSci-Project
MSci project on DVFS, energy savings, and scheduling in Assymetric Multicore Processors (AMPs), using the gem5 simulator.
academic-kickstart
đź“ť Easily create a beautiful website using Academic, Hugo, and Netlify
advent-of-code-2021
My attempts/solutions for the Advent of Code 2021
Advent-of-Code-2023
Another December, another AoC. Let's see how long I can keep up this time...
arm-gem5-rsk
Official repository of the Arm Research Starter Kit on System Modeling using gem5
dai-station
Constraint-solver written in Idris2
gdsc-flutter-2024-01-31
Project files from the Google Developer Student Clubs (GDSC) workshop on Flutter and Dart, attended on 2024-01-31.
idris2-elab-util
Utilities and documentation for exploring idirs2's new elaborator reflection.
idris2-racket-sleep-debug
Debugging the Idris2 `sleep` function under the Racket codegen.
idris2-vim
Vim mode for Idris 2
keyboard-stuff
Configs, backups, and misc. tools for the keyboards I use.
ray-tracing-in-a-weekend
My implementations of the ray tracing books by Peter Shirley
rdkitMcDock
MC code for Host & Guest molecules (using xTB)
sirdi
Package manager for Idris
Splash-3
The Splash-3 benchmark suite
stacshack10-2024
A little something hacked together for the 10th StacsHack, 2024-03-02 to 2024-03-03.
tyde-24-code
Full Idris2 code used in the TyDe '24 paper
zmk
ZMK Firmware Repository