CodingCellist

CodingCellist

Geek Repo

Home Page:teh6.eu

Github PK Tool:Github PK Tool


Organizations
scottish-pl-institute

CodingCellist's repositories

idris2-buffered-channels

An attempt at implementing various channels for inter-process communication in Idris2

Language:IdrisLicense:BSD-3-ClauseStargazers:6Issues:2Issues:1

idris2-dot-parse

A lexer+parser library for the DOT language (graphviz) written in Idris2.

Language:IdrisLicense:BSD-3-ClauseStargazers:5Issues:3Issues:0

idris2-dsa-gen

Generating Idris2 code based on Dependent State Automata diagrams.

Language:IdrisLicense:GPL-2.0Stargazers:3Issues:1Issues:0

idris2-skeletons

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

Language:IdrisLicense:BSD-3-ClauseStargazers:3Issues:2Issues:0

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

Language:C#License:MITStargazers:2Issues:2Issues:0

idris2-sinter

A sinter backend for idris2

Language:IdrisLicense:NOASSERTIONStargazers:1Issues:1Issues:0

codingcellist.github.io

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

Language:PythonLicense:CC-BY-SA-4.0Stargazers:0Issues:1Issues:0

Idris2

A purely functional programming language with first class types

Language:IdrisLicense:NOASSERTIONStargazers:0Issues:0Issues:0

MSci-Project

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

Language:TeXStargazers:0Issues:1Issues:0

academic-kickstart

đź“ť Easily create a beautiful website using Academic, Hugo, and Netlify

Language:Jupyter NotebookLicense:MITStargazers:0Issues:0Issues:0

advent-of-code-2021

My attempts/solutions for the Advent of Code 2021

Language:IdrisStargazers:0Issues:1Issues:0

Advent-of-Code-2023

Another December, another AoC. Let's see how long I can keep up this time...

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0
License:CC-BY-4.0Stargazers:0Issues:1Issues:0

arm-gem5-rsk

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

Language:ShellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

dai-station

Constraint-solver written in Idris2

Language:IdrisLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

gdsc-flutter-2024-01-31

Project files from the Google Developer Student Clubs (GDSC) workshop on Flutter and Dart, attended on 2024-01-31.

Language:DartStargazers:0Issues:1Issues:0

idris2-elab-util

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

Language:IdrisLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0
Language:IdrisLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
License:BSD-3-ClauseStargazers:0Issues:0Issues:0

idris2-racket-sleep-debug

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

Language:RacketStargazers:0Issues:0Issues:0

idris2-vim

Vim mode for Idris 2

Language:Vim scriptStargazers:0Issues:0Issues:0

keyboard-stuff

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

License:MITStargazers:0Issues:0Issues:0

ray-tracing-in-a-weekend

My implementations of the ray tracing books by Peter Shirley

Language:C++License:MITStargazers:0Issues:1Issues:0

rdkitMcDock

MC code for Host & Guest molecules (using xTB)

Language:PythonStargazers:0Issues:0Issues:0

sirdi

Package manager for Idris

Language:IdrisLicense:GPL-3.0Stargazers:0Issues:0Issues:0

Splash-3

The Splash-3 benchmark suite

Language:GLSLStargazers:0Issues:0Issues:0

stacshack10-2024

A little something hacked together for the 10th StacsHack, 2024-03-02 to 2024-03-03.

Language:TypeScriptLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

talks

The sources (LaTeX or otherwise) for talks I have given

Language:TeXLicense:CC-BY-SA-4.0Stargazers:0Issues:1Issues:0

tyde-24-code

Full Idris2 code used in the TyDe '24 paper

Language:IdrisLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

zmk

ZMK Firmware Repository

Language:CLicense:MITStargazers:0Issues:0Issues:0