Discover @carliros Open Source projects

Carlos Gómez (@carliros)

carliros

Stars
72
Global Rank 254,644 (Top 9 %)
Followers 15
Following 10
Registered over 14 years ago
Most used languages

Haskell
68.8 %

Java
6.3 %

Coq 6.3 %

HTML
6.3 %

TypeScript
6.3 %

Elm
6.3 %
Location 🇧🇴 Bolivia
Country Total Rank 31
Country Ranking

Coq 1

Elm
1

Haskell
1

TypeScript
55

HTML
107

Java
112

Simple-San-Simon-Functional-Web-Browser

A Web Browser written with Haskell

software-foundations-book

http://www.cis.upenn.edu/~bcpierce/sf

Selector

Tesiting selectors of CSS

dbjava

A serializer and deserializer of the Jvm classfile format.

WikiServer

Tree-Box

uuag-language-syntax

curso-logica

Herramientas del curso de lógica

ParserXML

Simple Parser for XML

Css-Box-Model

iJavac

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

purescript-counter

playing around with purescript

idbjava

User Graphics Interface para Java y DBJava

lc

Implementation of paper "λ-calculus cooked four ways" by Lennart Augustsson

s2hk

para el san simon hackathone

reporter

reporter generator

Inheritance

Cascading algorithm and Inheritance of css properties.

cField

It calculates widths and x coords for a list of fields