1. 7
    Djinn, a theorem prover in Haskell, for Haskell (2005) ☶ haskell math programming lambda-the-ultimate.org
    zedoary avatar via zedoary 1 year ago | cached | no comments
  2. 2
    Aegis, a "Project Change Supervisor" vcs aegis.sourceforge.net
    zedoary avatar via zedoary 2 years ago | cached | 1 comment
  3. 4
    A2: Analog Malicious Hardware ☶ pdf hardware security static1.1.sqspcdn.com
    zedoary avatar via zedoary 2 years ago | cached | no comments
  4. 19
    Lean Theorem Prover ☶ math leanprover.github.io
    zedoary avatar via zedoary 2 years ago | cached | no comments
  5. 14
    Racket v6.2 released lisp release blog.racket-lang.org
    zedoary avatar via zedoary 3 years ago | cached | 1 comment
  6. 5
    The Last Line Effect and Extralinguistic Mechanisms lisp practices programming hypercomplex.net
    zedoary avatar via zedoary 3 years ago | cached | 2 comments
  7. 15
    The Racket Manifesto lisp programming ccs.neu.edu
    zedoary avatar via zedoary 3 years ago | cached | no comments