Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

chawan: TUI Web Browser

determination: Rust typecheckers for System F and System F-omega

Logbookd – SQLite Backed Syslogd

Simply Typed Lambda Calculus in Datalog

Generate an OpenSCAD case template from a KiCAD PCB

Diff modulo base

Use machine learning to detect nudity in images—my first Rust code

Newm-atha: a touchpad and touchscreen centric Wayland compositor

State of Sandboxing in Linux

Elixir math benchmarks

[PATCH harec] Add C++ templates to Hare

acopw 1.0.0, a cryptographically secure password generator for Go

Fetch User Keys - simple tool for fetching SSH keys from different sources

aerc, a TUI email client, lands integrated patch management for git-send-email workflows in new release

pbls: A protobuf language server, and my first Rust project

Statement regarding the ongoing Sourcehut outage

Farside: A smart redirecting gateway for various front end services

Show HN: Common Lisp Vim Compiler Plug-In

porporo: a new pipe oriented OS to play with

allalt — Describe images and generate alt tags for visually impaired users

pyonji: An easy-to-use tool to send e-mail patches

goguma: An IRC client for mobile devices

Privytar, a privacy and caching reverse proxy for Gravatar

rde: Tools for managing reproducible development environments w/ guix

Emacs Bedrock: A minimal Emacs starter kit

I just released acopw 0.3.0, a small password generator module for Go

Just release brane, a tool to log and query your thoughts with the power of AI—feedback welcome :)

Show HN: Rectfillcurve – generate rectangle-filling curves

I released imgdiet recently, a Go module that provides a simpler API for C's libvips—looking for feedback

cane-lang: A funky programming language made in 24 hours

More →