Beast code in Giters

James Sandridge's repositories

celerity

Language:Elm2 20

getting-started

Language:Elm1 30

valhalla

Only the most worthy data is fit to enter heaven

Language:PLpgSQL1 20

plover_toys

Language:Shell020

psc-experiments

PureScript experiments

Language:PureScript000

surely

raytracing in at least one weekend

Language:C++020

advent_of_code

Code for solutions to Advent of Code - http://adventofcode.com/

Language:Racket000

Agda-Metaprogramming

Dependently Typed Metaprogramming Exercises

Language:Agda000

allonsy

020

bitwise

Bitwise is an educational project where we create the software/hardware stack for a computer from scratch.

Language:CNOASSERTION020

Ceedling

Ruby/Rake-based build and test system for C projects

NOASSERTION000

cmake_template

The cmake came from this nice repo: https://github.com/binary132/cmake-sdl

Language:CMake020

colab_notebooks

Colab Jupyter notebooks

Language:Jupyter Notebook000

contact

Language:TeX020

CS410-17

being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

Language:Agda000

euler

Language:Haskell020

gregory_peck

Language:Elm020

hello_world

Language:Haskell000

HoTTEST-Summer-School

HoTTEST Summer School materials

000

memeticdefense.github.io

000

new-world-order

Be a hero of the new world

Language:Shell020

PetAdoption-API

Language:JavaScriptMIT000

pvn-webservice

haskell-servant based webservice prototype

Language:HaskellBSD-3-Clause020

servant-elm

Automatically derive Elm functions to query servant webservices

Language:HaskellBSD-3-Clause020

sshdkit

Example for building a bootable SSHD/Tomcat/Mongo system with LinuxKit

Language:Shell020

steverthings

Language:JavaScript000

terraformy

Checkpointing some `terraform` nonsense

Language:HCL010

the_environment

Language:Shell000

tiny_mat

MIT000

trundle

020