recentpopularlog in

ianweatherhogg : logic   89

« earlier  
Hardware Simulation in Idris I
I've been digging into Idris lately, and have found using dependent types to be a fun and challenging exercise.Last semester, I implemented some basic co...
idris  dependent  type  electronics  circuit  bool  logic  5*  hardware 
february 2016 by ianweatherhogg
jack-pappas/fsharp-logic-examples
fsharp-logic-examples - Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
github  fsharp  logic 
may 2015 by ianweatherhogg
Computer Music using SuperCollider and Logic Pro by David Michael Cottle (eBook) - Lulu
Buy Computer Music using SuperCollider and Logic Pro by David Michael Cottle (eBook) online at Lulu. Visit the Lulu Marketplace for product details, ratings, and reviews.
logic  supercollider  book 
march 2015 by ianweatherhogg
swannodette/logic-tutorial
logic-tutorial - A Very Gentle Introduction to Relational Programming
github  relational  logic  programming  tutorial  helloworld  clojure 
november 2014 by ianweatherhogg
Introduction to Logic Programming with Clojure - GitHub
(run* [q]
(typedo [ ['f :- [Float :> Integer] ]
['g :- Integer]
]
[:apply 'f 'g]
Integer)
)
clojure  kanren  helloworld  5*  haskell  relational  algebra  programming  theory  type  tutorial  logic 
august 2011 by ianweatherhogg
« earlier      
per page:    204080120160

Copy this bookmark:





to read