cstml Goto Github PK

agda-lib

agda-stdlib

The Agda standard library

apropos

Propositional Logic Apropos Types

asdf

Another System Definition Facility, de facto standard build system for CL (mirrored from Common-Lisp.net)

batch-renderer-rhino-vray

A tool for Batch Rendering in Rhino using VRay 3

cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.

clj-tic-tac-toe

Clojure tic tac toe

cstml

cstml.github.io

Personal Website Project

debian-sbcl

Debian SBCL image with quicklisp installed and set up

debian-workhorse

A base docker image - it has a lot of dependencies that I use quite oftenly - a nice portable dev environment.

digraph

Directed Graphs

docker-alpine-apache-php

Docker container based on Alpine Linux containing Apache 2.4 web server and Php 5.4

easy-purescript-nix

Easy PureScript (and other tools) with Nix

exercise-library

A compilation of resolved problems

exercises-algorithms-interviews

Answers to competitions, interview tasks or standard algorithms.

flake-templates

Flake templates

fmct

Functional Machine Calculus typed. A programming language based on the FMC paper, developed from scratch for a Dissertation project.

formal-utxo

Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.

from0k2bp

From Zero (Knowledge) to Bulletproofs - writeup

ghappy

A utility to pull issues and create documents - leveraging Pandoc.

go-hello-world

haskellweekly

Publishes curated news about the Haskell programming language.

heroku-docker-nginx-example

Barebones nginx installation on Heroku using Docker.

hottest-summer-school

HoTTEST Summer School materials

hsk-tic-tac-toe

Haskell tic tac toe

kaggle-titanic

My first competition on Kaggle - the "legendary" Titanic dataset

leetcode-exercise-library

My leetcode solutions

light-cutter

A 3DSMax sccript that allows the user to create a perforation into any volume in such a way that it allows for light to form a specific shape at a specific time of the day.

lisp-koans

Common Lisp Koans is a language learning exercise in the same vein as the ruby koans, python koans and others. It is a port of the prior koans with some modifications to highlight lisp-specific features. Structured as ordered groups of broken unit tests, the project guides the learner progressively through many Common Lisp language features.