carliros Goto Github PK

5-leng-amor

99-purs

advent-of-code

arabica

A sound and versatile pandoc LaTeX boilerplate to produce academic books using Markdown files featuring YAML, KOMA-Script, BibLaTeX and CSL

axiom-vscode-syntax

axiomh

Axiom prover helper

cabal-presentacion

carliros.github.io

just to redirect ...

cass2020

materials for CASS 2020

cfield

It calculates widths and x coords for a list of fields

commonmark-hs

Pure Haskell commonmark parsing library, designed to be flexible and extensible

css-box-model

Css Box Model

curso-logica

Herramientas del curso de lógica

dbjava

A serializer and deserializer of the Jvm classfile format.

deslocalizacion

Bitácora sobre la investigación de la deslocalización en la industria del software

emanote

WIP: Spiritual successor to neuron, based on Ema.

favr

fpj

An intent to do Functional programming in Java

frp-arduino

Arduino programming without the hassle of C.

hakyll-banner-images-demo

A small Hakyll-based site demonstrating how to have automatically processed, per-post banner images.

hello-gtk2hs

hello-ihp-blog

Just followed tutorial https://ihp.digitallyinduced.com/Guide/your-first-project.html

hello-servant-jwt

hello-uuagc

hgifts

icpc

idbjava

User Graphics Interface para Java y DBJava

ijavac

Code of the paper The Hacker's Guide to Javac by David Erni and Adrian Kuhn

inheritance

Cascading algorithm and Inheritance of css properties.

lambda-calculus