1. Cassette (a small, Lisp-like programming language)  cassette-lang.com
    2024-01-03 03:03:35   #lisp #programming #new
  2. Awesome free techical magazine about programming, hacking, security, electronics etc  pagedout.institute
    2024-01-01 09:54:20   #security #programming #new
  3. Holiday protocols: secret santa with Quint - Formally specifying and model checking secret santa  github.com
    2023-12-21 22:08:25   #programming #formalmethods #code #new #blog
  4. Clipboard Conqueror: Your very own AI assistant for any text field  github.com
    2023-12-11 04:06:17   #programming #ai #code #new
  5. klogg: Really fast log explorer based on glogg project  github.com
    2023-12-09 12:08:32   #programming #code #new
  6. lich: Simple, general, human-sympathetic binary data format  github.com
    2023-12-07 12:01:30   #programming #performance #code #new
  7. In-app AI chatbots into react web apps  github.com
    2024-01-15 06:58:29   #programming #ai #code #new
  8. The HTML Programming Language  html-lang.org
    2023-12-05 00:16:52   #programming #new
  9. nobuild: Header only library for writing build recipes in C  github.com
    2023-12-04 06:36:12   #c #programming #code #new
  10. bfcoq: Brainfuck compiler in Coq  github.com
    2023-11-30 20:50:23   #programming #compilers #formalmethods #code #new
  11. Dafny - a verification-aware programming language  dafny.org
    2023-11-23 14:13:47   #programming #plt #new
  12. How to (and how not to) design REST APIs  github.com
    2023-11-23 04:22:21   #web #programming #code #new #blog
  13. superbol-studio-oss: Cobol LSP, VSCode extension & Emacs mode  github.com
    2023-11-12 20:38:20   #programming #historical #code #new
  14. Cyber hunt - A technical adventure for Unix enthusiasts  cyb.farm
    2023-11-11 21:35:31   #unix #show #programming #new
  15. Library of Statistical Techniques  lost-stats.github.io
    2023-11-09 01:19:36   #math #programming #new
  16. Scheme WASM Tail Call Situation  gist.github.com
    2023-11-08 14:24:37   #programming #compilers #wasm #gist
  17. carapace-bin: multi-shell multi-command argument completer  github.com
    2023-11-04 12:50:40   #linux #unix #windows #programming #code #new
  18. daScript - The High Performance Programming Language  dascript.org
    2023-10-27 07:20:31   #release #programming #new
  19. Ratatui: Cook up terminal interfaces using Rust (new version released!)  github.com
    2023-10-23 12:24:41   #programming #rust #code #new #release
  20. SummonScript - Manifest manifold models with magical machinations  github.com
    2023-10-21 20:12:22   #release #programming #code #new
  21. browser: Browser detection in Go (golang)  github.com
    2023-10-13 14:07:28   #browsers #go #release #programming #code #new
  22. aqua: Declarative CLI Version Manager  aquaproj.github.io
    2023-10-13 00:14:57   #programming #new
  23. From Larvita to Godot  gist.github.com
    2023-10-10 14:02:46   #programming #games #gist
  24. pkgx: Run Anything  pkgx.sh
    2023-10-05 04:47:35   #programming #new
  25. Original Raptor Call Of The Shadows 1.2 DOS source code  github.com
    2023-10-02 09:56:28   #programming #games #historical #code #new

< 5 / 13 >