anderssorby Goto Github PK

optimizationv17

parsec.lean

Parser combinators for Lean

pinafore

Alternative web client for Mastodon

pip2nix

Freeze pip-installable packages into Nix expressions [maintainer=@datakurre]

plantex

(UNMAINTAINED) :seedling: experimental open-world exploration game with plants :evergreen_tree: :leaves: :herb: :palm_tree:

pre-commit-hooks.nix

Seamless integration of https://pre-commit.com git hooks with Nix.

protontricks

A simple wrapper that does winetricks things for Proton enabled games, requires Winetricks.

quantum.lean

Quantum computing with Lean

remote-touchpad

Control mouse and keyboard from a smartphone

reservoir.lean

WIP unofficial package registry of Lean 4

robosat

Semantic segmentation on aerial and satellite imagery. Extracts features such as: buildings, parking lots, roads, water, clouds

rumatui

WIP Command line Matrix client using matrix-rust-sdk

runelite

Open source Old School RuneScape client

rust-play

rustyverse

Rust ActivityPub node (wip)

ryzomcore

Ryzom Core is the open-source project related to the Ryzom game. This community repository is synchronized with the Ryzom Forge repository, based on the Core branch.

sacred

Sacred is a tool to help you configure, organize, log and reproduce experiments developed at IDSIA.

scilean

Scientific computing in Lean 4

sdl.lean

SDL2 bindings for lean

shallot

Shallot allows you to create customized .onion addresses for your hidden service. (p.s. I didn't write Shallot!)

socket.lean

A toy implementation of socket programming for Lean 4.

softenowebtool

A php CMS I made for my swimming club when I was younger

solana

Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.

spectral

std4

Standard Library for Lean 4

straume

State-of-the-art streams for Lean 4

substrate

Substrate: The platform for blockchain innovators

substrate-node-template

A new FRAME-based Substrate node, ready for hacking.

surrealdb

A scalable, distributed, collaborative, document-graph database, for the realtime web

systemd-boot

Simple UEFI Boot Manager