Pinned Repositories
advent-of-code-2017
advent-of-code-2021
AHKscripts
arch-pkgbuilds
Collection of custom packages for Arch Linux
dotfiles
elm-export
Create Elm types and JSON decoders from Haskell source.
elm-hack-night
elm-prismicio
Prismic SDK in Elm
ocaml-decoders
Elm-inspired decoders for Ocaml
servant-elm-example-app
An example application using servant-elm.
mattjbray's Repositories
mattjbray/ocaml-decoders
Elm-inspired decoders for Ocaml
mattjbray/elm-prismicio
Prismic SDK in Elm
mattjbray/advent-of-code-2021
mattjbray/dotfiles
mattjbray/imandra-models
mattjbray/accessibility
Rust bindings for macOS accessibility API.
mattjbray/advent-of-code-2018
mattjbray/advent-of-code-2019
mattjbray/aoc-2020
mattjbray/awesome-rs
mattjbray/batsat
A Rust SAT solver originally based on MiniSat
mattjbray/batsat-ocaml
OCaml bindings for batsat (https://github.com/c-cube/batsat)
mattjbray/bs-downshift
BuckleScript bindings for Downshift
mattjbray/core-foundation-rs
Rust bindings to Core Foundation and other low level libraries on Mac OS X and iOS
mattjbray/easy21
David Silver Reinforcement Learning assignment
mattjbray/feather
A shell library for OCaml
mattjbray/helm-charts
Helm charts for Datadog products
mattjbray/imandra-prelude
Extracted version of imandra's prelude
mattjbray/lsp-mode
Emacs client/library for the Language Server Protocol
mattjbray/lwd
Lightweight document
mattjbray/ocaml-containers
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
mattjbray/ocaml-trace
Common interface for tracing/instrumentation libraries in OCaml
mattjbray/opam-nix
Turn opam-based OCaml projects into Nix derivations
mattjbray/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
mattjbray/plfa.github.io
Introduction to programming language theory in Agda
mattjbray/ppx_expect
Cram like framework for OCaml
mattjbray/printbox
print nested boxes, lists, arrays, tables in several formats
mattjbray/rust-decimal
A Decimal Implementation written in pure Rust suitable for financial calculations.
mattjbray/rust-raytracing
https://raytracing.github.io/books/RayTracingInOneWeekend.html, with Rust
mattjbray/w3af
w3af: web application attack and audit framework, the open source web vulnerability scanner.