CodingCellist
Follow
-
idris2-pack-db Public
Forked from stefan-hoeck/idris2-pack-dbBSD 3-Clause "New" or "Revised" License UpdatedOct 31, 2025 -
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedOct 31, 2025 -
idris-lang.github.io Public
Forked from idris-lang/idris-lang.github.ioThe Idris website
CSS BSD 3-Clause "New" or "Revised" License UpdatedOct 31, 2025 -
idris2-dsa-gen Public
Generating Idris2 code based on Dependent State Automata diagrams.
-
codingcellist.github.io Public
Repo for my personal website. Mostly just a bit of background info, my public key, and the occasional blog entry.
Python Creative Commons Attribution Share Alike 4.0 International UpdatedJun 17, 2025 -
keyboard-stuff Public
Configs, backups, and misc. tools for the keyboards I use.
MIT License UpdatedMay 4, 2025 -
-
-
stacscheck Public
Forked from ChrisJefferson/stacscheckSt Andrews Computer Science Checker
HTML UpdatedMar 24, 2025 -
talks Public
The sources (LaTeX or otherwise) for talks I have given
TeX Creative Commons Attribution Share Alike 4.0 International UpdatedSep 9, 2024 -
tyde-24-code Public archive
Full Idris2 code used in the TyDe '24 paper "Type-level Property Based Testing"
-
-
Creative Commons Attribution 4.0 International Updated
May 9, 2024 -
stacshack10-2024 Public archive
A little something hacked together for the 10th StacsHack, 2024-03-02 to 2024-03-03.
TypeScript BSD 3-Clause "New" or "Revised" License UpdatedMar 3, 2024 -
FeedbackHelper Public
Forked from mtorpey/FeedbackHelperTool for efficiently creating bullet-pointed feedback on assignments, with exports for St Andrews' MMS.
Java Other UpdatedFeb 22, 2024 -
idris2-pack Public
Forked from stefan-hoeck/idris2-packIdris BSD 3-Clause "New" or "Revised" License UpdatedFeb 9, 2024 -
gdsc-flutter-2024-01-31 Public
Project files from the Google Developer Student Clubs (GDSC) workshop on Flutter and Dart, attended on 2024-01-31.
Dart UpdatedJan 31, 2024 -
Advent-of-Code-2023 Public
Another December, another AoC. Let's see how long I can keep up this time...
Python BSD 3-Clause "New" or "Revised" License UpdatedDec 22, 2023 -
SebLague-Chess-Challenge Public
Forked from SebLague/Chess-ChallengeWrite 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-dot-parse Public
A lexer+parser library for the DOT language (graphviz) written in Idris2.
-
rdkitMcDock Public
Forked from heini-phys-chem/rdkitMcDockMC code for Host & Guest molecules (using xTB)
Python UpdatedMar 28, 2023 -
dai-station Public
Constraint-solver written in Idris2
Idris BSD 3-Clause "New" or "Revised" License UpdatedFeb 16, 2023 -
idris2-elab-util Public
Forked from stefan-hoeck/idris2-elab-utilUtilities and documentation for exploring idirs2's new elaborator reflection.
Idris BSD 2-Clause "Simplified" License UpdatedNov 11, 2022 -
ray-tracing-in-a-weekend Public
My implementations of the ray tracing books by Peter Shirley
C++ MIT License UpdatedApr 26, 2022 -
sirdi Public
Forked from eayus/sirdiPackage manager for Idris
Idris GNU General Public License v3.0 UpdatedApr 11, 2022 -
idris2-buffered-channels Public
An attempt at implementing various channels for inter-process communication in Idris2
-
advent-of-code-2021 Public
My attempts/solutions for the Advent of Code 2021
Idris UpdatedDec 9, 2021 -
academic-kickstart Public archive
Forked from HugoBlox/theme-academic-cv📝 Easily create a beautiful website using Academic, Hugo, and Netlify
Jupyter Notebook MIT License UpdatedJul 15, 2021 -
idris2-skeletons Public
An implementation of various parallel programming patterns (aka. skeletons) in Idris2
-