This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Keep and IUB faulty.I'll delete this repo immediately if there …

Reviving the language that brought us the Jak & Daxter Series

Full OS in Rust with minimal dependencies

My local Nix configuration

Compiler from Rust to Miden Assembly

A domain-specific language for writing AIR constraints for STARKs

STARK-based virtual machine

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

❄️ Simplify Nix Flakes with the module system

A pure Rust PLONK implementation using arkworks as a backend.

Rhombus programming language

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

Timewarrior - Commandline Time Tracking and Reporting

Taskwarrior - Command line Task Management

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).

The Plutus language implementation and tools

Noir is a domain specific language for zero knowledge proofs

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, …

A fast, flexible, fused effect system for Haskell

An Emacs framework for the stubborn martian hacker

The Haskell Tool Stack

Parsing, analyzing, and comparing source code across many languages

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

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

My .emacs.el file and other personal Emacs goodies

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

F# Workshop