1. 11
    Dolphin Smalltalk Goes Open-Source programming object-arts.com
    fabriceleal avatar via fabriceleal 2 years ago | cached | 2 comments
  2. 18
    A blog engine written and proven in Coq compsci coq-blog.clarus.me
    fabriceleal avatar via fabriceleal 3 years ago | cached | 8 comments
  3. 9
    Accepted papers for POPL 2015 compsci github.com
    fabriceleal avatar via fabriceleal 3 years ago | cached | no comments
  4. 9
    Beginner pointers on SAT solvers? ☶ ask compsci programming
    fabriceleal avatar via fabriceleal 3 years ago | 3 comments
  5. 4
    SWI-Prolog for the (semantic) web programming web swi-prolog.org
    fabriceleal avatar via fabriceleal 3 years ago | cached | 1 comment
  6. 5
    Analyzing Programming Languages using Rosetta Code programming se.inf.ethz.ch
    fabriceleal avatar via fabriceleal 3 years ago | cached | 1 comment
  7. 16
    Railway oriented programming dotnet programming fsharpforfunandprofit.com
    fabriceleal avatar via fabriceleal 4 years ago | cached | 1 comment