codingcellist Goto Github PK

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...

anti-surv-synd-icon

A mockup of the Anti Surveillance Syndicate (ASS) icon from the Seed webcomic.

arch-linux-mkinitcpio-2024-05-09-findings

arm-gem5-rsk

Official repository of the Arm Research Starter Kit on System Modeling using gem5

codingcellist.github.io

Repo for my personal website. Mostly just a bit of background info, my public key, and the occasional blog entry.

cs3099jh

CS3099 Junior Honours Project Protocol and Discussion Central Repo

cs4202-p01

First practical for CS4202 "Computer Architecture"

cs4202-p02

Compiler Optimisations - second assignment for CS4202 "Computer Architecture"

cs4203-p2

Second practical for CS4203: Computer Security

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.

hugo-academic

📝 The website builder for Hugo. Build and deploy a beautiful website in minutes!

idris2

A purely functional programming language with first class types

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-elab-util

Utilities and documentation for exploring idirs2's new elaborator reflection.

idris2-pack

idris2-pack-db

idris2-racket-sleep-debug

Debugging the Idris2 `sleep` function under the Racket codegen.

idris2-session-types

An attempt at implementing session types in Idris2

idris2-sinter

A sinter backend for idris2

idris2-skeletons

An implementation of various parallel programming patterns (aka. skeletons) in Idris2

idris2-vim

Vim mode for Idris 2

keyboard-stuff

Configs, backups, and misc. tools for the keyboards I use.

lightdm-webkit-theme-litarvan

Litarvan's LightDM HTML Theme

msci-project

MSci project on DVFS, energy savings, and scheduling in Assymetric Multicore Processors (AMPs), using the gem5 simulator.

ncpamixer

ncurses PulseAudio Mixer