Justin Garcia Claim this profile

Language implementation for PureScript

No description.

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

Dissectible data structures for implementing iterative traversals.

Stack-safe recursion schemes on dissectible data structures.

Ouroboros is a PureScript compiler written in PureScript.

Type-level list of kinds for PureScript.

PureScript version management in PureScript.

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

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

Shunting Yard Algorithm implemented at the type-level in PureScript

Typing PureScript in PureScript

DOM virtualization in Halogen using TanStack Virtual

LISP-like interpreted language implemented in Python.

Befunge-93 interpreter written in Haskell!

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

A tiny playground for building apps using FRP in PureScript

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

personal website and blog

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

Simple PEG parsing in Python.

No description.

Yet another PureScript mode for Emacs

PureScript bindings for fastify.

No description.

No description.

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

An implementation of Clowns to the Left of me, Jokers to the Right (Pearl): Dissecting Data Structures by Conor McBride in PureScript

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

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

No description.

Retrigger audio effect in Rust

GitHub profile and various snippets.

Minimal webpack-based template for PureScript Halogen projects.

CountrySelect implemented in ReasonReact

Personal dotfiles.

No description.

No description.

Bytecode-interpreted LISP-like language written in pure Python.

No description.

A simple framework for configuring lemonbar programmatically through Rust

My solutions for AoC2020

No description.

No description.

An example API wrapper for the Python Discord Pixels Event (https://pixels.pythondiscord.com).

Parse and render Markdown into Halogen views.

Discord rich presence for Vim

Building blocks for common selection user interfaces in PureScript & Halogen

A fast and ergonomic concurrent hashmap for read-heavy workloads.

Typesafe GraphQL client for PureScript

No description.

Experimental markdown processor in Haskell

Pull-based reactivity for Halogen powered by @preact/signals-core and halogen-subscriptions.

Emacs Plus formulae for the Homebrew package manager

A command line tool for generating Emacs tags for PureScript code.

Godot Engine – Multi-platform 2D and 3D game engine

PureScript CST Parser written in PureScript

PureScript IDE support for VS Code

PureScript client for psc-ide

No description.

An extensible virtual-dom library for PureScript.

No description.

Type-safe styled components for ReScript, Melange and native with type-safe CSS

A mixture of tooling combined to produce JavaScript from OCaml & Reason

Server rendering Reason React components with OCaml natively

No description.

Real-time neural network inferencing

A megapack of themes for GNU Emacs.

No description.

State-of-the-Art Deep Learning scripts organized by models - easy to train and deploy with reproducible accuracy and performance on enterprise-grade infrastructure.

A Flow-based Generative Network for Speech Synthesis

Collection of audio-focused loss functions in PyTorch

Easy animation toggling for elements using Halogen Hooks.

No description.

Optimizing backend toolkit and modern ECMAScript backend for PureScript

No description.

PureFunctor's Emacs' PureScript Mode

My emacs configuration.

Shield.io style badge generator

Events, behaviors, and uneventful misbehaving

Centaur Emacs - A Fancy and Fast Emacs Configuration

A port of Haskell's mmorph

No description.

Incredibly fast JavaScript runtime, bundler, transpiler and package manager – all in one.

A PureScript web micro-framework

The ST effect, for safe local mutation

Fast, hash-based, immutable collections.

Console based debugging functions

No description.

Web audio graphs as a stream

The PureScript Prelude

Types and kinds for basic type-level programming

A simple, retro theme for Hugo

A standard library for working with web-audio control data

An implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism in OCaml.

Free shell account and web 1.0 hosting @ http://rw.rs/~you

An example of a menhir/ocamllex-based parser compiled to JavaScript using js_of_ocaml.

PureScript packages for Spago and Psc-Package

My personal Emacs configuration.

Documentation for the PureScript language, compiler, and tools.

Search frontend for the documentation generated by the PureScript compiler

An opinionated cookiecutter template for creating PureScript libraries.

Straightforward benchmarking for PureScript/JavaScript.

No description.

CoreFn is an extensible JSON-based representation for functional languages based on lambda calculus.

Pure's lemonbar configuration in not-Bash

A Variant that functions like Either but is extensible

No description.

Emacs libvterm integration

No description.

Tree shaking breeze for PureScript CoreFn AST

Typelevel parser that allows DSTs to become types

A simple OTP application running a TCP server with supervised gen_server handlers.

A small OTP application demonstrating a simple factorial gen_server.

A native compiler backend for PureScript (via C++ or Golang)

A bot for executing PureScript code

A library for building Parsing Expression Grammars in PureScript.

No description.

Implements packrat parsing algorithms from: Packrat Parsing: a Practical Linear-Time Algorithm Backtracking by Bryan Ford in PureScript.

A declarative, type-safe UI library for PureScript.

Spotify API wrapper written in Python.

Flexible test automation for Python

Higher order functional programming in PureScript's type system

Some extra utilities for working with purescript-options.

Pong in PureScript

PureScript bindings for pino.

Simple PureScript bindings to `benny`.

Finite state machines, including Mealy machines, for modeling computations

Formatting and printing for numeric and date/time/interval values

Generic encoding and decoding functions for data types with a Generic.Rep instance

Dead-simple PureScript bindings to markdown-it.

A strict[er] HTML parser inspired by TagSoup and lenient-html-parser.

Deploying a Halogen application through Vercel.

Purescript wrapper for Express.js

Various efficient-ish sequence types for PureScript.

No description.

Type-safe prettified console.log for PureScript.

Painless forms for Halogen

No description.

A module to find out what's best.

Boilerplate repository for setting up Haskell projects using Cabal and Nix with support for HLS

Getting started with Yesod and backend development with Haskell

My personal notes for PureScript's language features and concepts.

Typelevel Numbers for Purescript

Boilerplate project structure for Nix-managed PureScript projects.

My personal notes for Haskell's language features and concepts.

Bytecode-interpreted language written in Haskell.

Getting started with Elm

Example app with Halogen on the frontend and Yesod for the backend

Getting started with PureScript's Halogen and Frontend Development

A screenshot widget for Awesome WM

Tetris engine written in Haskell

The Python programming language

A Discord bot started as a community project for Hacktoberfest 2018, later evolved to bot that changes with the seasons.

Tool for seamlessly integrating pyenv and poetry

Sound Voltex Generator -Real Model- Simulation

A variation of the Augustus Cipher that offsets space-separated words based on the position of each character.

Vim Meets Poetry and Pipenv Virtual Environments. (Personal fork for vim-plug)