Pinned Repositories
BF
Experiments with implementing the BrainFuck language in Haskell
fptest
IEEE754 floating point conformance testing in Haskell
minikanren-haskell
Minikanren in Haskell
smuggler2
Minimise haskell imports, make exports explicit
jrp2014's Repositories
jrp2014/smuggler2
Minimise haskell imports, make exports explicit
jrp2014/fptest
IEEE754 floating point conformance testing in Haskell
jrp2014/BF
Experiments with implementing the BrainFuck language in Haskell
jrp2014/agda
Agda is a dependently typed programming language / interactive theorem prover.
jrp2014/ale
Check syntax in Vim asynchronously and fix files, with Language Server Protocol (LSP) support
jrp2014/AoC2019
Advent of Code 2019
jrp2014/AoC2020
jrp2014/AOC2020-1
My solutions for the AOC
jrp2014/aoc2020-2
Haskell Solutions to Advent of Code 2020
jrp2014/AoC2021
Advent of Code 2021 in Haskell
jrp2014/AoC2022
jrp2014/AoC2023
Advent of Code 2023 in Haskell
jrp2014/Bird
Pearls of Functional Algorithm Design
jrp2014/convolution
Experiments in convolution in haskell
jrp2014/git
Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.
jrp2014/grenade
Deep Learning in Haskell
jrp2014/haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
jrp2014/hforth
A Forth interpreter in Haskell
jrp2014/llvm-hs-examples
Examples for Haskell bindings to LLVM
jrp2014/llvm-hs-extras
A collection of extra functions for "LLVM" (12 and above)
jrp2014/llvm-hs-kaleidoscope
Kaleidoscope Tutorial using llvm-hs
jrp2014/mcc
MicroC example compiler for Stephen Edward's PLT class, but in Haskell
jrp2014/Minimax
jrp2014/MinImports
A GHC source plugin that replaces current imports with a minimal set, removing unused ones.
jrp2014/mlx-examples
Examples in the MLX framework
jrp2014/scheme
Write You a Scheme
jrp2014/StackCom
jrp2014/Sudoku
Sudoku solving example
jrp2014/tasty-golden
Golden test support for Tasty
jrp2014/XOperad
The implementation of tic-tac-toe using an operadic comonad