kikofernandez Goto Github PK

kikofernandez.github.io

kmeans-encore

K-means case study for the Encore language

ldc

The LLVM-based D compiler.

libui

Simple and portable (but not inflexible) GUI library in C that uses the native GUI technologies of each platform it supports.

lscache

A localStorage-based memcache-inspired client-side caching library.

match-android

Implementation of the Match application for the course: Advance Software Design

match-django

Simple ASK system implementation

match-terminal

Terminal based Match application for the Advanced Software Design course at Uppsala Univeristy

monadic-typechecker

Artefact for "Developing a Monadic Type Checker for an Object-Oriented Language"

openstreetmapexample

A simple example of setting up OpenStreetMap offline.

otp

Erlang/OTP

pandoc-examples

part

ParT is a parallel collection designed to create complex coordination workflows, based on Encore Parallel Combinators

phonegap-zipfile-plugin

Androin plugin to extract Zip File

plt

A path to Programming Language Theory enlightenment

progit

Pro Git Book Content, 1st Edition - See 2nd edition at progit2

programmingfightclub

The Programming Fight Club editorial repository. Here you can find the code that generates the html and epub books

proper

PropEr: a QuickCheck-inspired property-based testing tool for Erlang

pyumbral

Nucypher KMS implementation of Umbral using OpenSSL and Cryptography.io

rebar3

Erlang build tool that makes it easy to compile and test Erlang applications and releases.

renovate

Universal dependency update tool that fits into your workflows.

sandbar-example-lein2-ring

Example using sandbar clojure library using Lein 2 and Ring as the server

savina

Savina is an Actor Benchmark Suite.

scalafix-codegen

Example repository how to use scalafix to code generation

skynet

Skynet 1M threads microbenchmark

spectral

A jekyll theme for the spectral template by html5up.net (@n33co). Demo: http://arkadianriver.github.io/spectral. How to jekyll: http://jekyllrb.com/docs/home/. If you intend to use this theme as a blog site with more than a few pages, have a look at my fork at https://github.com/arkadianriver/arkadianriver.com

ssl_verify_fun.erl

Collection of ssl verification functions for Erlang

swearjar

Idea: Website that keeps track of people swearing and how much money they own. In Sweden no one has cash and is better to keep track of this with a webapp

teaching-github

test-test

This is a test