Carlos Gómez (carliros)

carliros

Geek Repo

Location:Cbba-Bolivia

Home Page:http://carliros.github.io

Github PK Tool:Github PK Tool

Carlos Gómez's repositories

Simple-San-Simon-Functional-Web-Browser

A Web Browser written with Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:34Issues:3Issues:0

software-foundations-book

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

purescript-counter

playing around with purescript

Language:TypeScriptStargazers:1Issues:1Issues:0
Language:DhallStargazers:0Issues:1Issues:0
Language:PureScriptStargazers:0Issues:1Issues:0
Language:HaskellStargazers:0Issues:1Issues:0

arabica

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

License:MITStargazers:0Issues:1Issues:0
Stargazers:0Issues:1Issues:0

axiomh

Axiom prover helper

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

CASS2020

materials for CASS 2020

Language:HTMLStargazers:0Issues:0Issues:0

commonmark-hs

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

Language:HaskellStargazers:0Issues:0Issues:0

deslocalizacion

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

Stargazers:0Issues:1Issues:0

emanote

WIP: Spiritual successor to neuron, based on Ema.

Language:HaskellLicense:AGPL-3.0Stargazers:0Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

hello-ihp-blog

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

Language:HaskellStargazers:0Issues:1Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0
Language:PureScriptStargazers:0Issues:1Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

lsystem

LSystem interpreter

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

Mastering-Bootstrap-4

Mastering Bootstrap 4 published by Packt

Language:HTMLStargazers:0Issues:0Issues:0

nuestra-boda

Página de nuestra boda: Carlos y Pelagia

Language:CSSStargazers:0Issues:1Issues:0

practical-haskell

Source Code for 'Practical Haskell' by Alejandro Serrano Mena

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

purescript-book

Sources for the PureScript book

Language:PureScriptStargazers:0Issues:0Issues:0

retros

🏂🏻 Haskell based Retro board

Language:HaskellStargazers:0Issues:0Issues:0
Language:JavaStargazers:0Issues:1Issues:0
Language:CStargazers:0Issues:2Issues:0
Language:HaskellStargazers:0Issues:0Issues:0

v2md

Generate Pandoc files from Coq (v2md)

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0