gruhn

Bend

A massively parallel, high-level programming language

pykan

Kolmogorov Arnold Networks

HVM

A massively parallel, optimal functional runtime in Rust

codeium.vim

Free, ultrafast Copilot alternative for Vim and Neovim

dafny

Dafny is a verification-aware programming language

lsp-ai

LSP-AI is an open-source language server that serves as a backend for AI-powered functionality, designed to assist and empower software engineers, not replace them.

OpenFactVerification

Loki: Open-source solution designed to automate the process of verifying factuality

omniclip

Open source video editing web application

ht

headless terminal - wrap any binary with a terminal interface for easy programmatic access.

proposal-explicit-resource-management

ECMAScript Explicit Resource Management

slipshow

An engine for displaying slips, the next-gen version of slides

hello_fresh_gewuerze

Hello Fresh Gewürze

nix-config

Wimpy's NixOS & Home Manager Configurations ❄️

paperproof

Lean theorem proving interface which feels like pen-and-paper proofs.

containers

Assorted concrete container types

sat-css-tool

Minify CSS files through refactoring

batteries

The "batteries included" extended library for the Lean programming language and theorem prover

docker-run-action

poker-chipper

Optimally allocate poker chips using constrained, nonlinear optimization

math2001

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

haskell-flake

A `flake-parts` Nix module for Haskell development

pgprolog

PostgreSQL Prolog language handler

crem

Compositional Representable Executable Machines

lean4web

The Lean 4 web editor

grassmann_article

leansat

This package provides an interface and foundation for verified SAT reasoning

view-monad

opt-lego

ganim

A math animation engine based on geometric algebra

applicative-logic

An applicative based library for logical control flow in Haskell