Manage your apps on your Tronbyt (flashed Tidbyt) completely locally without relying on the backend servers operated by Tidbyt.

F# language server using Language Server Protocol

Haskell bindings to Microsoft's Z3 API (unofficial).

Documenting reverse engineering of the original Lytro lightfield camera

Compiling to Categories

*slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it

A syntax-highlighting pager for git, diff, grep, and blame output

Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur

Resource gathering + programming game

Open-source repository of Orbiter Space Flight Simulator

Jupyter notebooks for tutorial on the Z3 SMT solver

A live viewer for reMarkable written in PyQt5

A curated list of projects related to the reMarkable tablet

Advent of Code 2019 optimized solutions in C++

Consolidated view of all your chess games from chess.com, lichess, grandmaster games or custom pgn.

Listudy - chess training server

Aaron Swartz's blog posts in Markdown, PDF, ePub, and Mobi

Noise suppression plugin based on Xiph's RNNoise

A library for building Haskell IDE tooling

Install ghcide, neovim, and CoC in a minimal Debian 10 Docker container.

Quake 1 movement physics reinforcement learning

Jupyter adaptation of Learn You a Haskell for Great Good!

GraphBLAS for Python

This repository is no longer maintained.

Code, data, and instructions for mapping orbits of asteroids in the solar system

Parsing, analyzing, and comparing source code across many languages

MetaPost + TeX rendition of Oliver Byrne's "The first six books of the Elements of Euclid"

hal provides an AWS Lambda Custom Runtime environment for your Haskell applications.

This package makes it easy to run AWS Lambda Functions written in Haskell

A chess adaption of GCP's Leela Zero