kikofernandez Goto Github PK

academicpages.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

academicteaching

Project Work for the Academic Teaching Training course

advancedsoftwaredesign

Advanced Software Design material (slides and exercises)

affinekilling-tyde17

Source and paper for the Type-Driven Development workshop 2017, held in Oxford, September 3rd.

algorithm-w-step-by-step

Classic Algorithm W for type inference.

bec

The BitBucket Erlang Client

bookdown

Authoring Books and Technical Documents with R Markdown

cassiopeia

Cassiopeia is an app for managers and directors that evaluates and grade places. This is the implementation of the website using Clojure and Foundation Framework

cde

CDE: Code, Data, and Environment packaging for Linux

clojure-linkedin

This is a template project for getting you up and running using the LinkedIn REST API. In this project you will find: Authentication using OAuth 2.0, Simple query to the API and Compojure project structure

comonad

Haskell 98 comonads

compass

The Jekyll theme for your personal landing page.

cudaplayground

Learning CUDA examples

curso-git

Material para el curso de Git virtual

ecoop-artefact-godot

eep

Erlang Enhancement Proposals

emacs.d

encore

The Encore compiler.

encore-sat-solver

felix

The Felix Programming Language

form-generator

Using JavaScript, we plan to create dynamic forms in an easy way and get the form in Excel or PDF format.

getopt

Erlang module to parse command line arguments using the GNU getopt syntax

github-changelog-generator

Automatically generate change log from your tags, issues, labels and pull requests on GitHub.

hackathon

heroku-buildpack-datomic-clojure

This is a Heroku buildpack for using Datomic in Clojure apps.

intro-git

Brief example to introduce a conflict between `master` branch and `first-line` branch

intro-git-presentation

Introduction to git in 30 min

jekyll-admin

A Jekyll plugin that provides users with a traditional CMS-style graphical interface to author content and administer Jekyll sites.

jekyll-conference-template

A jekyll-built conference website template

jesse

jesse (JSon Schema Erlang) is an implementation of a JSON Schema validator for Erlang.