charles37 Goto Github PK

aoc2023

benblog

Ben's Blog

bensblog

My personal blog, using the Haskell based static site generator Hakyll

cs220-helloapp

cs220-lab6

cs220 lab6 tasi4

cs220-redis-example

elf2tab

Tool to create Tock Application Bundles from ELF files.

elo_leaderboard

Port of WhichIsBetterAI Project into Rust (WIP)

flake

My Personal NixOS config flake

flake2

My fork of ZaneyOS's NixOS configuration flake, a combination of my previous NixOS config from scratch and ZaneyOS for use on Framework16

flakev2

My fork of ZaneyOS's NixOS configuration flake, a combination of my previous NixOS config from scratch and ZaneyOS for use on Framework16

haskell-src-exts

Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer

haskell-wasm-snake

Snake in the browser using the new WASM capabilities of GHC

haskellwasmsnake

Snake game that runs in the browser using GHC's WebAssembly backend

hflags

Command line flag parser for Haskell, conceptually very similar to Google's gflags

josh

Python tools to help josh in law school

json-rpc-client

Functions for creating a Haskell JSON-RPC 2.0 client.

mymedialist

Media Tracking Website built with Haskell Yesod and ReactJS

mywebsite

Ben's Personal website

nanogpths

An implementation of Andrej Karpathy's nanoGPT but using Haskell hasktorch instead of pytorch

nix-recorder

`nix-recorder` is a command-line utility designed to manage Nix shell environments. It allows users to dynamically add packages to their Nix shell environment, save the current state, and eject to a `flake.nix` file for reproducible environments.

nixlings

Small exercises to get you used to reading and writing Nix code!

nixpkgs

Nix Packages collection & NixOS

nixvim

Configure Neovim with Nix! [maintainer=@pta2002, @traxys, @GaetanLepage]

nixvim-new

❄️ nixvim template fork

personalwebsite

An interactive personal website showcasing my resume, articles, and social media profiles, built with Elm and featuring a unique pixel 'snake' navigation.

pl_class

purescript-tecton-halogen-starter

A starter project that uses Tecton, Halogen, and Webpack

qanda-fp

Q and A app built with Elm on the front-end, and Yesod (Haskell) on the backend using Postgres as Db

servant-htmx-examples

An Exploration of using HTMX in conjunction with Type Safe Haskell Servant Routes (For research of future HaskTMX library)