Justin Garcia

purescript-alexandrite. Language implementation for PureScript

purescript-uncurried-transformers. Stack-safe monad transformers implemented using continuation-passing style and uncurried functions.

purescript-ouroboros. Ouroboros is a PureScript compiler written in PureScript.

purescript-dissect. Dissectible data structures for implementing iterative traversals.

psvm-ps. PureScript version management in PureScript.

purescript-typelevel-lists. Type-level list of kinds for PureScript.

purescript-ssrs. Stack-safe recursion schemes on dissectible data structures.

algorithm-w. An implementation of a Hindley-Milner type system with Algorithm W for inference in OCaml.

sabihin. ✉️ Anonymous and End-to-End Encrypted Q&A Platform 🔒

purescript-typelevel-shunting-yard. Shunting Yard Algorithm implemented at the type-level in PureScript

typing-purescript-in-purescript. Typing PureScript in PureScript

purescript-halogen-virtual. DOM virtualization in Halogen using TanStack Virtual

purescript-mermaid. A monad that hoists ST into Effect, or nullifies Effect in ST.

deku-tree. A tiny playground for building apps using FRP in PureScript

hikari. [WIP] Web-based BMS (Be-Music Source) record player written in PureScript, powered by WAGS and Deku (soon™).

Fungoid. Befunge-93 interpreter written in Haskell!

amalgam-lisp. LISP-like interpreted language implemented in Python.

purefunctor.me-2022. My personal portfolio website.

purefunctor.me. personal website and blog

simon. Simple PEG parsing in Python.

something-to-listen-to. A command-line tool for getting songs to listen to in Spotify.

purescript-clowns-n-jokers-dissections. An implementation of Clowns to the Left of me, Jokers to the Right (Pearl): Dissecting Data Structures by Conor McBride in PureScript

purescript-always. PureScript

rustfck. Brainfuck interpreter for learning Rust where I try not to overengineer stuff and encourage safety as much as possible.

purs-mode. Yet another PureScript mode for Emacs

purescript-bidirectional. PureScript

purescript-rhythm-cofree. A toolbox of Cofree comonads for working with rhythm game elements.

purescript-fastify. PureScript bindings for fastify.

dusk. PureScript

happy-emacs. Emacs Lisp

onnx-in-juce. C++

reason-react-country-select. CountrySelect implemented in ReasonReact

off_side. Rust

purescript-halogen-webpack-template. Minimal webpack-based template for PureScript Halogen projects.

chez-boot-ffi. Scheme

retrigger-rs. Retrigger audio effect in Rust

inference-with-constraints. Rust

purescript-halogen-markdown-it. Parse and render Markdown into Halogen views.

Zettelkasten. An aggregation of my zettelkasten notes composed using Emacs and Org Roam.