Pinned Repositories
verified_finger_trees
Project in Programming Language Seminar. Implement and prove properties about finger trees.
bandido-clojure
bandidoFSharp
a smart data structure to evaluate logical formulas in FSharp
CSP
Constraint Satisfaction Problems
erlangs_etudes
My solutions to Ètudes for Erlang
Rivano
Little Programming Language to express First Order Logics
sha1_bruteforce
Haskell script that issue a brute force attack against a sha1-hashed password
soap_consumer
an example of soap resource consuming with detergent
tautologyChecker
a tautology checker as seen in ML for the working programmer by L.C. Paulson
TDD-Exercises
Exercises for anyone, with my proposed solution
oscarftoro's Repositories
oscarftoro/CSP
Constraint Satisfaction Problems
oscarftoro/erlangs_etudes
My solutions to Ètudes for Erlang
oscarftoro/Rivano
Little Programming Language to express First Order Logics
oscarftoro/soap_consumer
an example of soap resource consuming with detergent
oscarftoro/word_collector
HTTP-based interface to collect words from foreign languages
oscarftoro/xml_viewer
oscarftoro/bandido-clojure
oscarftoro/bandidoFSharp
a smart data structure to evaluate logical formulas in FSharp
oscarftoro/sha1_bruteforce
Haskell script that issue a brute force attack against a sha1-hashed password
oscarftoro/tautologyChecker
a tautology checker as seen in ML for the working programmer by L.C. Paulson
oscarftoro/dicccionario-desktop
diccionario is a program to collect new words you want to learn in a foreign language.
oscarftoro/elixir
Elixir is a dynamic, functional language designed for building scalable and maintainable applications
oscarftoro/erjang
A JVM-based Erlang VM
oscarftoro/exleveldb
Elixir wrapper around Basho's eleveldb module for LevelDB.
oscarftoro/finansielregning
Thoughts about Mathematical Finance Curriculum in Denmark at Mathematics C level
oscarftoro/Grafito
Inductively defined Graph data structure
oscarftoro/guess_the_number
A simple implementation of guess the number with UDP protocol.The program consist of a server that receives client conections. The server selects randomly a number and you as a client have the noble endeavor of find out which number the server has picked up.
oscarftoro/kino_admin
movie theater administration tool
oscarftoro/learnhaskell
Learn Haskell
oscarftoro/Matrix
oscarftoro/monokai-gnome-terminal
oscarftoro/oscarftoro.github.io
oscarftoro/pictochat
a chat that allows the user send messages to other users in the same network and draw figures in a canvas
oscarftoro/pls_project
Project in Programming Language Seminar. Implement and prove properties about finger trees.
oscarftoro/roman-numbers
oscarftoro/SWK3_Graph
oscarftoro/swot
Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.
oscarftoro/tiny-webserver
web server that only handle GET requests...
oscarftoro/TwoStackAlgorithm
oscarftoro/word_collector-ng-ui
A client for word_collector web service