Pinned Repositories
viaduct
An extensible compiler for cryptography.
bibdb
A simple bibliography manager for BibTeX
elm-cacay
Personal website written in Elm.
G4ip
A theorem prover using G4ip
language-krill
Krill programming language
latex-pl-syntax
Abstract syntax definitions for programming languages
MemoryPool
An easy to use and efficient memory pool allocator written in C++.
Mobot
The simplified code of a line following robot that won CMU's 2013 Mobot competition.
PolygonGame
An asteroids game written in Python.
regexp
Haskell regular expression library that supports derivatives, equivalence, intersection, and complement.
cacay's Repositories
cacay/MemoryPool
An easy to use and efficient memory pool allocator written in C++.
cacay/regexp
Haskell regular expression library that supports derivatives, equivalence, intersection, and complement.
cacay/language-krill
Krill programming language
cacay/latex-pl-syntax
Abstract syntax definitions for programming languages
cacay/bibdb
A simple bibliography manager for BibTeX
cacay/Mobot
The simplified code of a line following robot that won CMU's 2013 Mobot competition.
cacay/elm-cacay
Personal website written in Elm.
cacay/G4ip
A theorem prover using G4ip
cacay/language-limp
An attempt at designing a new, perfectly uniform syntax
cacay/PolygonGame
An asteroids game written in Python.
cacay/thesis-undergrad
My undergraduate thesis
cacay/conan-center-index
Recipes for the ConanCenter repository
cacay/containers
Assorted concrete container types
cacay/elm-router
An opinionated router for Elm
cacay/elm-sortable-table
Sortable tables for whatever data you want to display
cacay/elm-void
The empty type in Elm.
cacay/grapheme-clusters
Coq proofs about Unicode grapheme clusters
cacay/homebrew-versions
:1234: Versioned formulae for the Homebrew package manager
cacay/krill.vim
Syntax highlighting for the SILL language.
cacay/piqi-erlang
Protocol Buffers, JSON, XML data serialization system for Erlang
cacay/rescripts
💥 Use the latest react-scripts with custom configurations for Babel, ESLint, TSLint, Webpack,... ∞
cacay/unicode-string
Proper Unicode support for Haskell