1. Programming Language Fundamentals in Agda  plfa.github.io
    2026-10-19 06:12:44   #math #plt #new
  2. The next-gen borrow checker, a drop-in replacement for Rust borrow checking  gist.github.com
    2026-10-11 19:21:16   #rust #compilers #plt #gist
  3. The Goose Programming Language  github.com
    2026-10-08 09:00:53   #plt #vibecoding #code #new
  4. Kythe, a pluggable, language-agnostic ecosystem for building tools that work with code  kythe.io
    2026-09-14 22:30:24   #plt #editors #new
  5. A Programming Paradigm for Spatiotemporal Composability  github.com
    2026-08-15 23:11:43   #plt #code #new #pdf
  6. wyzer: The Wyzer Programming Language  github.com
    2026-08-07 21:15:01   #plt #code #new
  7. Algebraic effects and handlers in portable C99  github.com
    2026-07-23 02:34:20   #plt #code #new
  8. Temper Language  temperlang.dev
    2026-07-14 16:56:25   #plt #new
  9. CCL: Categorical Configuration Language  github.com
    2026-07-07 19:25:57   #programming #plt #code #new
  10. Bab: a family of hashing functions for p2p networks  bab-hash.org
    2026-06-11 20:32:45   #distributed #plt #new
  11. minc — A minimal language for building native software  minc.dev
    2026-05-22 08:54:56   #c #games #plt #new
  12. The Super Tiny Compiler, but in Ada  github.com
    2026-05-19 13:50:35   #programming #plt #code #new
  13. nondescript: a simple embedded programming language  github.com
    2026-04-22 20:56:45   #show #plt #code #new
  14. Transpiling from Python into Lisp  github.com
    2026-04-20 15:53:24   #lisp #plt #code #new
  15. Formal typing rules and presentation materials for Swift 6.2's concurrency type system, focusing on Capability and Region  github.com
    2026-04-15 15:35:47   #swift #plt #code #new
  16. Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory  github.com
    2026-04-14 23:12:51   #haskell #plt #code #new
  17. Formal Methods  www.formalmethods.dk
    2026-04-03 01:25:53   #formalmethods #plt #new
  18. c89cc.sh - standalone C89/ELF64 compiler in pure portable shell  gist.github.com
    2026-04-03 23:55:14   #plt #gist
  19. Activating Two Trap Cards at Once, or: A Gentle Response to the Popularity of Vibecoding  gist.github.com
    2026-04-02 16:25:28   #python #math #ai #plt #vibecoding #gist
  20. Vibecoding Challenge 2: The Five Feathers (Spring 2026)  gist.github.com
    2026-03-02 15:27:13   #math #ai #plt #vibecoding #gist
  21. Salt: Systems programming, mathematically verified  salt-lang.dev
    2026-02-19 13:23:02   #plt #new
  22. Hylo: A Systems Programming Language All in on Value Semantics and Generic Programming  hylo-lang.org
    2026-02-10 23:47:35   #plt #new
  23. glang  github.com
    2026-02-03 07:26:43   #plt #d #code #new
  24. TablaM  www.tablam.org
    2026-02-02 06:57:17   #plt #logiclangs #new
  25. STATUTORY: A Turing-complete language in 17th-century legal English  github.com
    2026-01-24 20:06:55   #compsci #plt #code #new

< 1 / 8 >