1. Pigweed - Modern software development for embedded systems  pigweed.dev
    2024-02-02 16:58:22   #python #hardware #programming #cpp #new
  2. fprime - A flight software and embedded systems framework by NASA  github.com
    2024-01-26 16:00:34   #programming #cpp #code #new
  3. repoint: A manager for checkouts of third-party source code dependencies  github.com
    2024-01-26 04:49:05   #programming #ml #code #new
  4. shipp: Deadly simple package manager for your C/C++ projects, written in Rust  github.com
    2024-01-25 21:15:17   #programming #code #new
  5. Trunk-Based Development  trunkbaseddevelopment.com
    2024-01-22 13:39:15   #vcs #programming #new
  6. Programming with Spaces  github.com
    2024-01-21 07:44:33   #go #java #programming #code #new
  7. Gleam language tour  tour.gleam.run
    2024-01-19 14:01:56   #programming #new
  8. Wikifunctions  www.wikifunctions.org
    2024-01-14 00:58:51   #programming #new
  9. Statement regarding the ongoing SourceHut outage  outage.sr.ht
    2024-01-12 10:08:38   #programming #new
  10. Open Source Durable Execution  temporal.io
    2024-01-09 05:48:02   #programming #new
  11. Cassette (a small, Lisp-like programming language)  cassette-lang.com
    2024-01-03 03:03:35   #lisp #programming #new
  12. 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
  13. Clipboard Conqueror: Your very own AI assistant for any text field  github.com
    2023-12-11 04:06:17   #programming #ai #code #new
  14. klogg: Really fast log explorer based on glogg project  github.com
    2023-12-09 12:08:32   #programming #code #new
  15. lich: Simple, general, human-sympathetic binary data format  github.com
    2023-12-07 12:01:30   #programming #performance #code #new
  16. In-app AI chatbots into react web apps  github.com
    2024-01-15 06:58:29   #programming #ai #code #new
  17. The HTML Programming Language  html-lang.org
    2023-12-05 00:16:52   #programming #new
  18. nobuild: Header only library for writing build recipes in C  github.com
    2023-12-04 06:36:12   #c #programming #code #new
  19. bfcoq: Brainfuck compiler in Coq  github.com
    2023-11-30 20:50:23   #programming #compilers #formalmethods #code #new
  20. How to (and how not to) design REST APIs  github.com
    2023-11-23 04:22:21   #web #programming #code #new #blog
  21. superbol-studio-oss: Cobol LSP, VSCode extension & Emacs mode  github.com
    2023-11-12 20:38:20   #programming #historical #code #new
  22. Cyber hunt - A technical adventure for Unix enthusiasts  cyb.farm
    2023-11-11 21:35:31   #unix #show #programming #new
  23. Library of Statistical Techniques  lost-stats.github.io
    2023-11-09 01:19:36   #math #programming #new
  24. Scheme WASM Tail Call Situation  gist.github.com
    2023-11-08 14:24:37   #programming #compilers #wasm #gist
  25. carapace-bin: multi-shell multi-command argument completer  github.com
    2023-11-04 12:50:40   #linux #unix #windows #programming #code #new

< 7 / 16 >