Tag is-project

19 bookmarks have this tag.

Project homepages except repos.

2024-12-13

153.

The Illustrated TLS 1.2 Connection

tls12.xargs.org

semi-interactively explains how TLS works, very cool

2024-05-28

138.

uops.info

uops.info/table.html

Latency, throughput and port usage of x86 instructions.

2024-05-20

135.

bbs-over-dns

bbs-over-dns.com

microforum in DNS TXT records

2024-01-22

104.

Shapecatcher

shapecatcher.com

Allows you to find Unicode characters by drawing them.

2024-01-05

101.

ast-grep | structural search/rewrite tool for many languages

ast-grep.github.io

Treesitter-based AST search-and-replace. Supports lints via saved patterns, LSP diagnostics + quick fixes and a regular CLI. Sounds pretty cool for custom lints.

2023-12-15

93.

mfio: Completion I/O for Everyone

blaz.is/blog/post/mfio-release

Another take on io_uring in Rust. Doesn’t bring its own runtime, instead choosing to integrate with tokio.

2023-12-12

91.

FireDBG: Time Travel Visual Debugger for Rust

firedbg.sea-ql.org

Looks really cool. I wonder what’s inside.

2023-12-11

90.

prr: Review GitHub PRs from local editor

dxuuu.xyz/prr.html

2023-11-26

75.

Distributed Proofreaders

www.pgdp.net/c

Distributed Proofreaders provides a web-based method to ease the conversion of Public Domain books into e-books. By dividing the workload into individual pages, many volunteers can work on a book at the same time.

72.

git-revise

git-revise.readthedocs.io/en/latest

Faster and simpler git rebase.

2023-11-25

Reposted 49.

Nota Language

nota-lang.org

A fresh take on typesetting

48.

Nutshell: make expandable, embeddable explanations

ncase.me/nutshell
46.

Shufflecake: plausible deniability for multiple hidden filesystems on Linux

shufflecake.net
41.

Chapel: Productive Parallel Programming

chapel-lang.org
25.

Colmena

colmena.cli.rs/unstable

Colmena is a simple, stateless NixOS deployment tool modeled after NixOps and morph, written in Rust. It's a thin wrapper over Nix commands like nix-instantiate and nix-copy-closure, and supports parallel deployment.

24.

garnix | the nix CI

garnix.io

Simple, fast, and green CI and caching for nix projects

15.

SimpleX Chat: private and secure messenger without any user IDs (not even random)

simplex.chat

SimpleX Chat - a private and encrypted messenger without any user IDs (not even random ones)! Make a private connection via link / QR code to send messages and make calls.

7.

OneDev: Self-hosted Git Server with CI/CD and Kanban

onedev.io

Supports a lot of fun stuff, maybe worth trying.

6.

Pernosco debugger

pernos.co/about/overview

A recording debugger promising to “reduce the debugging time dramatically”.