carliros

Me gusta Haskell, uso cualquier excusa para usarlo.

Cbba-Bolivia

Pinned Repositories

cField
It calculates widths and x coords for a list of fields
Language:Haskell1 1 00
Css-Box-Model
Css Box Model
Language:Haskell1 1 00
curso-logica
Herramientas del curso de lógica
Language:HTML1 1 00
dbjava
A serializer and deserializer of the Jvm classfile format.
Language:Haskell3 1 00
idbjava
User Graphics Interface para Java y DBJava
Language:Haskell1 1 00
Selector
Tesiting selectors of CSS
Language:Haskell4 2 00
Simple-San-Simon-Functional-Web-Browser
A Web Browser written with Haskell
Language:Haskell35 3 03
software-foundations-book
http://www.cis.upenn.edu/~bcpierce/sf
Language:Coq15 2 11
Tree-Box
Tree-Box Css
Language:Haskell2 1 00
WikiServer
server wiki
2 1 01

carliros's Repositories

carliros/Simple-San-Simon-Functional-Web-Browser
A Web Browser written with Haskell
Language:Haskell35 3 03
carliros/software-foundations-book
http://www.cis.upenn.edu/~bcpierce/sf
Language:Coq15 2 11
carliros/purescript-counter
playing around with purescript
Language:TypeScript1 1 0
carliros/uuag-language-syntax
1 2 01
carliros/5-leng-amor
Language:Dhall1 0
carliros/99-purs
Language:PureScript1 0
carliros/advent-of-code
Language:Haskell1 0
carliros/arabica
A sound and versatile pandoc LaTeX boilerplate to produce academic books using Markdown files featuring YAML, KOMA-Script, BibLaTeX and CSL
1 0
carliros/axiom-vscode-syntax
1 0
carliros/axiomh
Axiom prover helper
Language:Haskell1 0
carliros/CASS2020
materials for CASS 2020
Language:HTML0 0
carliros/commonmark-hs
Pure Haskell commonmark parsing library, designed to be flexible and extensible
Language:Haskell0 0
carliros/deslocalizacion
Bitácora sobre la investigación de la deslocalización en la industria del software
1 0
carliros/emanote
WIP: Spiritual successor to neuron, based on Ema.
Language:Haskell0 0
carliros/hello-gtk2hs
Language:Haskell1 0
carliros/hello-ihp-blog
Just followed tutorial https://ihp.digitallyinduced.com/Guide/your-first-project.html
Language:Haskell1 0
carliros/hello-servant-jwt
Language:Haskell1 0
carliros/hello-uuagc
Language:Haskell1 0
carliros/hgifts
Language:PureScript1 0
carliros/learning-ghc-extensions
Language:Haskell1 0
carliros/lsystem
LSystem interpreter
Language:Haskell1 0
carliros/Mastering-Bootstrap-4
Mastering Bootstrap 4 published by Packt
Language:HTML0 0
carliros/nuestra-boda
Página de nuestra boda: Carlos y Pelagia
Language:CSS1 0
carliros/practical-haskell
Source Code for 'Practical Haskell' by Alejandro Serrano Mena
Language:Haskell0 0
carliros/purescript-book
Sources for the PureScript book
Language:PureScript0 0
carliros/retros
🏂🏻 Haskell based Retro board
Language:Haskell0 0
carliros/s4-java
Language:Java1 0
carliros/tree-sitter-uuag
Language:C2 0
carliros/uuagc
Language:Haskell0 0
carliros/v2md
Generate Pandoc files from Coq (v2md)
Language:Haskell2 0