oscarftoro

Music and Computing. Mostly Clojure, hopefully, more OCaml and TLA+

Copenhagen, Denmark

Pinned Repositories

verified_finger_trees
Project in Programming Language Seminar. Implement and prove properties about finger trees.
Language:Coq0 2 01
bandido-clojure
Language:Clojure0 1 00
bandidoFSharp
a smart data structure to evaluate logical formulas in FSharp
Language:F#0 1 00
CSP
Constraint Satisfaction Problems
Language:F#1 1 00
erlangs_etudes
My solutions to Ètudes for Erlang
Language:Erlang1 1 01
Rivano
Little Programming Language to express First Order Logics
Language:F#1 1 00
sha1_bruteforce
Haskell script that issue a brute force attack against a sha1-hashed password
Language:Haskell0 1 00
soap_consumer
an example of soap resource consuming with detergent
Language:Erlang1 1 00
tautologyChecker
a tautology checker as seen in ML for the working programmer by L.C. Paulson
Language:F#0 1 00
TDD-Exercises
Exercises for anyone, with my proposed solution
Language:Erlang1 1 00

oscarftoro's Repositories

oscarftoro/TDD-Exercises
Exercises for anyone, with my proposed solution
Language:Erlang1 1 00
oscarftoro/clojure-koans
A set of exercises for learning Clojure
Language:Clojure
oscarftoro/Erlang-and-OTP-in-Action-Source
The official "Erlang and OTP in Action" source code - see the README below for more details
Language:Erlang
oscarftoro/towerOfHanoi
towerOfHanoi
Language:Java
oscarftoro/vim-vividchalk
vividchalk.vim: a colorscheme strangely reminiscent of Vibrant Ink for a certain OS X editor
Language:Vim Script1 0