1. Perses: Syntax-Directed Program Reduction  github.com
    2023-12-27 01:13:22   #code #new
  2. PartCAD the first package manager for CAD models  github.com
    2023-12-27 19:18:41   #code #new
  3. Chisel: A Modern Hardware Design Language  github.com
    2023-12-27 12:18:38   #code #new
  4. deskhop: Fast Desktop Switching Device  github.com
    2026-07-30 07:52:39   #hardware #code #new
  5. Change of Name: Coq –> The Rocq Prover  github.com
    2023-12-27 05:57:07   #code #new
  6. A programming language coding in a grid  github.com
    2023-12-27 02:49:17   #code #new
  7. Show HN: TBMK – A Commands Bookmark for Terminal  github.com
    2023-12-26 10:23:47   #code #new
  8. Show HN: Actually Portable Vim (With a Cute Vimrc)  github.com
    2023-12-25 22:44:52   #code #new
  9. FUSE-T is a kext-less implementation of FUSE for macOS that uses NFSv4  github.com
    2023-12-26 20:13:48   #code #new
  10. A List of Hacker News's Undocumented Features and Behaviors  github.com
    2023-12-26 17:47:27   #code #new
  11. Show HN: Just.sh – compiler that turns Justfiles into portable shell scripts  github.com
    2023-12-26 14:30:05   #code #new
  12. Show HN: Print-friendly minimalist CV website  github.com
    2023-12-26 16:03:15   #code #new
  13. A copy-and-patch JIT compiler for CPython  github.com
    2023-12-26 08:26:52   #code #new
  14. Stirling-PDF: local web application to perform various operations on PDFs  github.com
    2023-12-25 20:02:08   #code #new
  15. OCaml as the Universal Translator – DkSDK Merry Christmas 2023  gitlab.com
    2023-12-23 21:08:06   #code #new
  16. A nano like text editor built with pure C  github.com
    2023-12-25 11:21:45   #code #new
  17. Breakdown of AV1 Video Codec  github.com
    2023-12-25 09:58:48   #code #new
  18. Reforming Unix  github.com
    2023-12-25 04:42:11   #code #new
  19. Welcome to the Chata Programming Language  github.com
    2023-12-25 03:24:11   #code #new
  20. StreamDiffusion: Over 100fps Stable Diffusion on a 4090  github.com
    2023-12-23 23:42:54   #code #new
  21. IP over Spaghetti  github.com
    2023-12-22 10:56:41   #code #new
  22. Beeper Mini is now open-source  github.com
    2023-12-23 19:49:56   #code #new
  23. Show HN: Open-source superhuman like email client  github.com
    2023-12-23 18:10:53   #code #new
  24. Termdbms – A TUI for viewing and editing database files  github.com
    2023-12-23 15:17:09   #code #new
  25. qsv: CSVs sliced, diced & analyzed  github.com
    2023-12-23 19:26:48   #unix #code #new

< 324 / 498 >