Skip to content
View benjamin-thomas's full-sized avatar

Block or report benjamin-thomas

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Haskell 'go to (non-local) definitions' extension

Haskell 16 2 Updated Feb 10, 2024

Algebraic data types for C99

C 1,471 27 Updated Mar 17, 2025

System prompt of MoonBit language and toolchain

26 2 Updated Dec 23, 2025

Elm plugin for IntelliJ Platform IDEs

Kotlin 17 3 Updated Oct 21, 2025

A menagerie of cute implementations of modern typechecking algorithms

Rust 360 13 Updated Dec 22, 2025

Express-C Effect for Web Operations

C 235 9 Updated Dec 23, 2025

A library for building server components in Gleam ✨

Gleam 116 4 Updated Dec 11, 2025

Haskell + Lisp

Haskell 214 9 Updated May 17, 2024

1 Haskell A Day exercises

Haskell 119 15 Updated Apr 21, 2014

Transform Elm Debug.log output into nice log object with custom formatter

TypeScript 169 4 Updated Mar 10, 2024

Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView

Haskell 311 19 Updated Nov 14, 2025

Functional programming language

Haskell 8 Updated Dec 21, 2025

Concur UI Framework for Purescript

PureScript 271 16 Updated Dec 9, 2024

Haskell PostgreSQL library with compile-time type inference

Haskell 89 12 Updated Mar 15, 2024

A TUI for the Jujutsu version control system

OCaml 124 2 Updated Nov 21, 2025

An unofficial Cookbook for PureScript

PureScript 206 29 Updated Aug 21, 2023

Ensure dune and opam dependencies are consistent

OCaml 43 13 Updated Dec 12, 2024

The code of several works on oimo.io/works

Haxe 1,444 59 Updated Jan 15, 2025

Exemplary real world application built with PureScript + Halogen

PureScript 803 92 Updated Apr 26, 2025

PureScript crash course targeted at Elm developers

PureScript 38 Updated Sep 17, 2024

The Lux Programming Language

Emacs Lisp 1,718 54 Updated Dec 1, 2025

The native Clojure dialect hosted on LLVM with seamless C++ interop.

C++ 2,971 114 Updated Dec 23, 2025

A complete overhaul of the LC-3 simulator used in EE 306 at The University of Texas at Austin.

C++ 169 60 Updated Oct 10, 2022

cr.h: A Simple C Hot Reload Header-only Library

C++ 1,718 114 Updated Mar 30, 2025

A statically typed concatenative systems programming language.

Haskell 1,150 42 Updated Apr 10, 2023

Cooperative-threaded access to relational data

OCaml 344 40 Updated Dec 19, 2025

Simple Turn-based Game

Ada 424 25 Updated May 26, 2024

Effects-based direct-style IO for multicore OCaml

OCaml 664 80 Updated Nov 4, 2025
Next