jakzale

terminal

The new Windows Terminal and the original Windows console host, all in the same place!

tabler

Tabler is free and open-source HTML Dashboard UI Kit built on Bootstrap

winget-cli

WinGet is the Windows Package Manager. This project includes a CLI (Command Line Interface), PowerShell modules, and a COM (Component Object Model) API (Application Programming Interface).

doomemacs

An Emacs framework for the stubborn martian hacker

semantic

Parsing, analyzing, and comparing source code across many languages

taskwarrior

Taskwarrior - Command line Task Management

stack

The Haskell Tool Stack

fastmac

Get a MacOS or Linux shell, for free, in around 2 minutes

plutus

The Plutus language implementation and tools

timewarrior

Timewarrior - Commandline Time Tracking and Reporting

Bolero

Bolero brings Blazor to F# developers with an easy to use Model-View-Update architecture, HTML combinators, hot reloaded templates, type-safe endpoints, advanced routing and remoting capabilities, and more.

oxocarbon.nvim

A dark and light Neovim theme written in fennel, inspired by IBM Carbon.

noir

Noir is a domain specific language for zero knowledge proofs

flake-parts

❄️ Simplify Nix Flakes with the module system

rowan

dot-emacs

My .emacs.el file and other personal Emacs goodies

fused-effects

A fast, flexible, fused effect system for Haskell

miden-vm

STARK-based virtual machine

nix-config

My local Nix configuration

rhombus-prototype

Brainstorming and draft proposals for Rhombus

plonk

A pure Rust PLONK implementation using arkworks as a backend.

fsharpworkshop

F# Workshop

air-script

A domain-specific language for writing AIR constraints for STARKs

dotnet-templates

Example app and service templates `dotnet new -i Equinox.Templates; dotnet new eqx*/pro*` https://github.com/jet/equinox https://github.com/jet/FsCodec

compiler

Compiler from MidenIR to Miden Assembly

pantheon

Full OS in Rust with minimal dependencies

tiny-lang

handlers-in-action

An implementation of the "Handlers in action" calculus in the K Framework

t20

Triple 20: A domain specific language for kernel-to-kernel transformations.

tiny-lang