jameshaydon

ohmyzsh

🙃 A delightful community-driven (with 2,300+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

excalidraw

Virtual whiteboard for sketching hand-drawn like diagrams

pocketbase

Open Source realtime backend in 1 file

yew

Rust / Wasm framework for creating reliable and efficient web applications

dioxus

Fullstack GUI library for web, desktop, mobile, and more.

atuin

✨ Magical shell history

z3

The Z3 Theorem Prover

flyde

🌟 Open-source, visual programming for developers. Includes a VS Code extension, integrates with existing TypeScript code, browser and Node.js.

combobulate

Structured Editing and Navigation in Emacs with Tree-Sitter

inko

A language for building concurrent software with confidence

quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

amazonka

A comprehensive Amazon Web Services SDK for Haskell.

morpheus-graphql

Haskell GraphQL Api, Client and Tools

rye

homoiconic dynamic programming language with some new ideas

toysolver

My sandbox for experimenting with solver algorithms.

flatparse

Fast parsing from bytestrings

teyjus

An efficient implementation of the higher-order logic programming language Lambda Prolog

narya

A proof assistant for higher-dimensional type theory

jsaddle

JavaScript interface that works with GHCJS or GHC

cleff

Fast and concise extensible effects

computational-algebra

General-Purpose Computer Algebra System as an EDSL in Haskell

insane

Toy typechecker for Insanely Dependent Types

mig

Lightweight and composable servers for Haskell

aith

[Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions.

lego-lang

A kernel language specification

TinyOutsideIn

Small implementation of OutsideIn(X) type checking algorithm

creatur

Framework for artificial life and other evolutionary algorithms.

gptcomment

boreal

diff-check

Reminders to check things generated by git diffs