Functional Programming in Idris 2

2022-01-13

OpenTimelineIO: API and interchange format for editorial timeline information

2022-01-13

Omni helps you use Chrome like a pro

2022-01-13

Pgcopydb a tool that automates running dump restore between two running servers

2022-01-13

Solving the Christmas Puzzle

2022-01-13

Design of a lock-free DVCS (rsync-/Dropbox-/NFS-safe)

2022-01-13

Primer (GitHub's Design System)

2022-01-13

Android build speed optimized cool Tech-Rocketx

2022-01-13

Show HN: SimpleX Chat v1 released – the most private chat/application platform

2022-01-12

Show HN: Implementation of John McCarthy's AMB operator in Portable Common Lisp

2022-01-12