magnostherobot

czi-tools

Speedy Carl Zeiss Image (.czi) Divination

Idris2-LLVMCAPI

Idris 2 bindings for the LLVM 10 C API

Idris2-UnitTest

Unit test framework for Idris 2

sinc

Sinter compiler written in C

destroy

goodbye CS

Idris2-Array

Contiguous-memory Arrays in Idris 2

ISinter

Parser for Sinter written in Idris 2

bevy-cards

binpacker

Packs Bins (badly)

cards

Cinoop

Multiplatform Game Boy emulator

constraint-solver

Binary constraint solver

cs-pres-manifesto

A manifesto for my run for Student President at the Computer Science Department in the University of St Andrews.

DefinitelyTyped

The repository for high quality TypeScript type definitions.

dotfiles

my dotfiles

fouriest

https://www.smbc-comics.com/?id=2874

frug

A simple graphics library for rust

Idris2

A purely functional programming language with first class types

maglibs

Random Idris 2 Hacking

primitive-geometry

Geometries for 3D rendering, including normals, UVs and cell indices (faces). Perfect if you want to supercharge your dependency folder... with 30KB of geometries.

rhai

Rhai - An embedded scripting language for Rust.

screeps

Starter Rust AI for Screeps, the JavaScript-based MMO game

screeps-ai

sinter.vim

Vim syntax highlighting for Sinter

sirdi

Package manager for Idris

StAEvents

swapi

The Star Wars API

three-ts-types

TS type library for the popular webgl library threejs

trainsite

turing-mate

Stacshack 2019