1. Yaksha release v0.0.5 - MacOS support, c style for loop, string references, inlinec, make  github.com
    2023-12-19 18:46:05   #release #compilers #plt #code #new
  2. Substructural type system ยง The resource interpretation  en.wikipedia.org
    2023-12-17 08:26:16   #plt #wiki
  3. Winglang - New Cloud-Oriented Programming Language  github.com
    2023-12-06 21:20:30   #distributed #plt #code #new
  4. Red Programming Language  www.red-lang.org
    2023-11-21 19:59:18   #plt #new
  5. A simple ray tracer written in the meson.build language  github.com
    2023-11-19 10:14:41   #assembly #graphics #plt #code #new
  6. The Rational Programming Language  github.com
    2023-11-14 17:50:18   #lisp #plt #code #new
  7. WasmFX: Effect Handlers for WebAssembly  wasmfx.dev
    2023-11-08 17:50:51   #plt #wasm #new
  8. Nature Programming Language  nature-lang.org
    2025-12-22 15:43:27   #compilers #plt #new
  9. Ectype - bringing type safety (and more!) to vanilla JavaScript  gitlab.com
    2023-10-11 14:59:41   #javascript #plt #code #new
  10. Try SWI-Prolog Online  swish.swi-prolog.org
    2023-10-01 21:39:56   #programming #plt #new
  11. Picat: logic-based multi-paradigm PL for general-purpose applications  picat-lang.org
    2023-09-25 20:13:30   #programming #plt #new
  12. Rhovas: A programming language for API design and enforcement  rhovas.dev
    2023-09-05 14:13:06   #api #plt #new
  13. Program Proofs  program-proofs.com
    2023-09-01 20:01:00   #dotnet #formalmethods #plt #new
  14. Functional Data Structures and Algorithms. A Proof Assistant Approach  functional-algorithms-verified.org
    2023-09-01 00:24:35   #pdf #book #formalmethods #plt #new
  15. The Crumb Programming Language  github.com
    2023-08-28 18:42:07   #lisp #plt #code #new
  16. finite-wasm: Cheating a little to solve the halting problem at scale  github.com
    2023-08-12 12:37:40   #compilers #plt #wasm #code #new
  17. buzz 0.2.0 release  github.com
    2023-07-27 13:35:09   #release #compilers #plt #code #new
  18. effects-bibliography: A collaborative bibliography of work related to the theory and practice of computational effects  github.com
    2023-07-09 18:54:48   #plt #code #new
  19. Flunct: Well-typed, fluent APIs in SML  github.com
    2023-06-25 20:53:42   #plt #code #new
  20. Set theoretic typing for Elixir - demo  typex.fly.dev
    2023-06-14 10:15:30   #elixir #plt #new
  21. cane-lang: A funky programming language made in 24 hours  sr.ht
    2023-06-05 15:02:07   #rust #plt #code #new
  22. DreamBerd: perfect programming language  github.com
    2023-06-05 00:28:13   #satire #plt #code #new
  23. Deco: Delimiter Collision Free Format  github.com
    2023-05-18 14:42:58   #plt #code #new
  24. Wyvern: A Language for Usable Design Driven Assurance (2017)  github.com
    2023-05-18 07:13:37   #security #plt #code #new
  25. Nickel language  nickel-lang.org
    2023-05-17 15:09:52   #devops #programming #plt #new

< 5 / 8 >