1. Winglang - New Cloud-Oriented Programming Language  github.com
    2023-12-06 21:20:30   #distributed #plt #code #new
  2. Dafny - a verification-aware programming language  dafny.org
    2023-11-23 14:13:47   #programming #plt #new
  3. Red Programming Language  www.red-lang.org
    2023-11-21 19:59:18   #plt #new
  4. A simple ray tracer written in the meson.build language  github.com
    2023-11-19 10:14:41   #assembly #graphics #plt #code #new
  5. The Rational Programming Language  github.com
    2023-11-14 17:50:18   #lisp #plt #code #new
  6. WasmFX: Effect Handlers for WebAssembly  wasmfx.dev
    2023-11-08 17:50:51   #plt #wasm #new
  7. Ectype - bringing type safety (and more!) to vanilla JavaScript  gitlab.com
    2023-10-11 14:59:41   #javascript #plt #code #new
  8. Try SWI-Prolog Online  swish.swi-prolog.org
    2023-10-01 21:39:56   #programming #plt #new
  9. Picat: logic-based multi-paradigm PL for general-purpose applications  picat-lang.org
    2023-09-25 20:13:30   #programming #plt #new
  10. Rhovas: A programming language for API design and enforcement  rhovas.dev
    2023-09-05 14:13:06   #api #plt #new
  11. Program Proofs  program-proofs.com
    2023-09-01 20:01:00   #dotnet #formalmethods #plt #new
  12. Functional Data Structures and Algorithms. A Proof Assistant Approach  functional-algorithms-verified.org
    2023-09-01 00:24:35   #pdf #book #formalmethods #plt #new
  13. The Crumb Programming Language  github.com
    2023-08-28 18:42:07   #lisp #plt #code #new
  14. 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
  15. buzz 0.2.0 release  github.com
    2023-07-27 13:35:09   #release #compilers #plt #code #new
  16. 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
  17. Flunct: Well-typed, fluent APIs in SML  github.com
    2023-06-25 20:53:42   #plt #code #new
  18. Set theoretic typing for Elixir - demo  typex.fly.dev
    2023-06-14 10:15:30   #elixir #plt #new
  19. cane-lang: A funky programming language made in 24 hours  sr.ht
    2023-06-05 15:02:07   #rust #plt #code #new
  20. DreamBerd: perfect programming language  github.com
    2023-06-05 00:28:13   #satire #plt #code #new
  21. Deco: Delimiter Collision Free Format  github.com
    2023-05-18 14:42:58   #plt #code #new
  22. Wyvern: A Language for Usable Design Driven Assurance (2017)  github.com
    2023-05-18 07:13:37   #security #plt #code #new
  23. Nickel language  nickel-lang.org
    2023-05-17 15:09:52   #devops #programming #plt #new
  24. Coherence and Orphan Rules in Rust: An unofficial, experimental place for documenting …  github.com
    2023-05-01 21:56:30   #rust #plt #code #new
  25. loxcraft: a compiler, language server, and online playground for the Lox programming language  github.com
    2023-04-29 18:18:24   #compsci #release #rust #compilers #plt #wasm #code #new

< 3 / 6 >