-
Kempten University of Applied Sciences
- Germany
-
08:16
(UTC +01:00)
Highlights
- Pro
Stars
Collect your thoughts and notes without leaving the command line.
A cross-platform GUI library for Rust, inspired by Elm
Command line tool for the Mermaid library
CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.
A powerful AI coding agent. Built for the terminal.
Fully Local Manus AI. No APIs, No $200 monthly bills. Enjoy an autonomous agent that thinks, browses the web, and code for the sole cost of electricity. 🔔 Official updates only via twitter @Martin9…
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
A simple, test-driven RISC-V emulator for educational purposes, written in Go.
Solidity registry for all smart contracts' addresses of the Aave ecosystem
An apocalypse-resistant data storage format for the truly paranoid.
A Git-compatible VCS that is both simple and powerful
Manage a user environment using Nix [maintainer=@khaneliman, @rycee]
Modern, opinionated, and gas optimized building blocks for smart contract development.
Typecheck, template and modularize your Github Action definitions with Dhall
Generate Nix packages from URLs with hash prefetching, dependency inference, license detection, and more [maintainer=@figsoda]
A curated list of awesome Scheme libraries and resources
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Converter of logseq links to org-roam links
This is a cheat sheet for doom emacs, mostly from the guides I see online.
Fish shell like syntax highlighting for Zsh.
Fish-like autosuggestions for zsh