Beast code in Giters

Josh Acay's repositories

MemoryPool

An easy to use and efficient memory pool allocator written in C++.

Language:C++1209 65 10

regexp

Haskell regular expression library that supports derivatives, equivalence, intersection, and complement.

Language:HaskellMIT12 2 1

language-krill

Krill programming language

Language:HaskellMIT400

latex-pl-syntax

Abstract syntax definitions for programming languages

Language:TeXMIT4 4 2

bibdb

A simple bibliography manager for BibTeX

Language:HaskellMIT2 30

Mobot

The simplified code of a line following robot that won CMU's 2013 Mobot competition.

Language:C++MIT2 20

elm-cacay

Personal website written in Elm.

Language:HTMLMIT1 20

G4ip

A theorem prover using G4ip

Language:HaskellMIT1 20

language-limp

An attempt at designing a new, perfectly uniform syntax

MIT1 20

PolygonGame

An asteroids game written in Python.

Language:PythonMIT1 20

thesis-undergrad

My undergraduate thesis

Language:TeXGPL-3.0000

conan-center-index

Recipes for the ConanCenter repository

Language:PythonMIT000

containers

Assorted concrete container types

Language:HaskellNOASSERTION020

elm-router

An opinionated router for Elm

Language:ElmMIT020

elm-sortable-table

Sortable tables for whatever data you want to display

Language:ElmBSD-3-Clause000

elm-void

The empty type in Elm.

Language:ElmMIT020

grapheme-clusters

Coq proofs about Unicode grapheme clusters

Language:CoqMIT010

homebrew-versions

:1234: Versioned formulae for the Homebrew package manager

Language:RubyNOASSERTION000

krill.vim

Syntax highlighting for the SILL language.

Language:VimLMIT020

piqi-erlang

Protocol Buffers, JSON, XML data serialization system for Erlang

Language:ErlangApache-2.0020

rescripts

💥 Use the latest react-scripts with custom configurations for Babel, ESLint, TSLint, Webpack,... ∞

Language:JavaScriptMIT020

unicode-string

Proper Unicode support for Haskell

MIT000