oscarftoro Goto Github PK

bandido-clojure

bandidofsharp

a smart data structure to evaluate logical formulas in FSharp

clojure-koans

A set of exercises for learning Clojure

csp

Constraint Satisfaction Problems

dicccionario-desktop

diccionario is a program to collect new words you want to learn in a foreign language.

elixir

Elixir is a dynamic, functional language designed for building scalable and maintainable applications

erjang

A JVM-based Erlang VM

erlang-and-otp-in-action-source

The official "Erlang and OTP in Action" source code - see the README below for more details

erlangs_etudes

My solutions to Ètudes for Erlang

exleveldb

Elixir wrapper around Basho's eleveldb module for LevelDB.

finansielregning

Thoughts about Mathematical Finance Curriculum in Denmark at Mathematics C level

grafito

Inductively defined Graph data structure

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.

kino_admin

movie theater administration tool

learnhaskell

Learn Haskell

matrix

monokai-gnome-terminal

oscarftoro.github.io

pictochat

a chat that allows the user send messages to other users in the same network and draw figures in a canvas

pls_project

Project in Programming Language Seminar. Implement and prove properties about finger trees.

rivano

Little Programming Language to express First Order Logics

roman-numbers

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

swk3_graph

swot

Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.

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

tiny-webserver

web server that only handle GET requests...

towerofhanoi

towerOfHanoi