Pinned Repositories
advent-haskell
Advent of code in haskell
adventofcode
bot-match
A runtime system for bots to battle in a game
herodotus
A Common Lisp json library for CLOS classes
idris-talk
Dependent Types with Idris Lambda Luminaries talk 9 October 2017
MacrosTalk
My Lambda luminaries talk about Lisp Macros
neat-lambda
A shorter way to write lambda expressions in Common Lisp
pears
A combinator parsing library for Common Lisp
salmon
Monads for Common Lisp
tacitus
Lazy indexable ranges for common lisp
HenryS1's Repositories
HenryS1/salmon
Monads for Common Lisp
HenryS1/herodotus
A Common Lisp json library for CLOS classes
HenryS1/neat-lambda
A shorter way to write lambda expressions in Common Lisp
HenryS1/pears
A combinator parsing library for Common Lisp
HenryS1/adventofcode
HenryS1/idris-talk
Dependent Types with Idris Lambda Luminaries talk 9 October 2017
HenryS1/MacrosTalk
My Lambda luminaries talk about Lisp Macros
HenryS1/tacitus
Lazy indexable ranges for common lisp
HenryS1/advent-haskell
Advent of code in haskell
HenryS1/bot-match
A runtime system for bots to battle in a game
HenryS1/2018-TowerDefence
Main repository for the Entelect Challenge 2018 tournament
HenryS1/2019-bot
2019 bot for the Entellect Challenge
HenryS1/2020-Overdrive
Main repository for Entelect Challenge 2020
HenryS1/awesome-advent-of-code
A collection of awesome resources related to the yearly Advent of Code challenge.
HenryS1/ChallengeBot2018
Entellect challenge bot
HenryS1/code-spelunk
An Emacs package to asist with long code spelunking sessions
HenryS1/colour-colonies
A game of moving and building tiles
HenryS1/coq-lf-book
Working through the examples in the logical foundations Coq book
HenryS1/docker-client
A common lisp docker client
HenryS1/emacs-config
My emacs configuration
HenryS1/git-hell
A command-line utility/library for git interaction
HenryS1/HenryS1.github.io
HenryS1/heroku-buildpack-cl
HenryS1/heroku-buildpack-common-lisp
A fork of Duncan Bayne's heroku buildpack
HenryS1/idris-dialogue
Simplified version of Eliza dialogue with a psychologist in Idris
HenryS1/jscl
A Lisp-to-Javascript compiler bootstrapped from Common Lisp
HenryS1/OpenAPI-Specification
The OpenAPI Specification Repository
HenryS1/presentation
HenryS1/recursion-talk
Slides from my Lambda Luminaries talk about recursion
HenryS1/yason
Common Lisp JSON serializer written with simplicity in mind