isaacvando Goto Github PK

1brc

1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java

aoc

Advent of Code Solutions

basic-cli

A basic Command-Line Interface platform

basic-webserver

A basic webserver in Roc

book-of-examples

Software Design by Example in Roc

carnap

A formal logic framework that runs in the browser

cooklang-hs

A parser for the cook markdown language written in Haskell

cooklang-org

Code for cooklang.org web-site

cooklang-ts

Lightweight Cooklang parser implemented in TypeScript

cookrender

VSCode extension for converting .cook to .md

cookvscode

VSCode syntax highlighting for Cooklang

data-clist

A purely functional ring data structure for Haskell.

dhall-lang

Maintainable configuration files

elm-to-gh-pages

GitHub Actions workflow that builds and deploys an Elm app to GitHub Pages

examples

exercism

Crowd-sourced code mentorship. Practice having thoughtful conversations about code.

functionalprogrammingsig

Resources for MCA Functional Programming SIG including Haskell Jupyter notebooks

gob

Stack based language written in Roc

haskell

Exercism exercises in Haskell.

infinityandbeyond

Accessible talk on the magic of infinity

isaacvando

isaacvando.com

isaacvando.github.io

Personal Website

math4960

minipythonparser

Haskell parser for a subset of Python

monkey-hs

Haskell implementation of an interpreter

okta-spring-boot-sample

Spring Boot + Okta

pandoc

Universal markup converter

recipes

Isaac's Recipes

remindrs

Minimalistic reminders app available on iOS and Android