carliros

rust

Empowering everyone to build reliable and efficient software.

swift

The Swift Programming Language

servo

Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine

Awesome-Linux-Software

🐧 A list of awesome Linux softwares

hibernate-orm

Hibernate's core Object/Relational Mapping functionality

simplex-chat

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

coursera-android

Source Code for Android Course Example Applications

front-end-frameworks

A collection of best front-end frameworks for faster and easier web development.

Publications

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

ghcid

Very low feature GHCi based IDE

learn-you-a-haskell

“Learn You a Haskell for Great Good!” by Miran Lipovača

pp

PP - Generic preprocessor (with pandoc in mind) - macros, literate programming, diagrams, scripts...

llvm

[MERGED UPSTREAM] AVR backend for the LLVM compiler library

uhc

virtual-office

Virtual Office gives you transparency on what Zoom.us rooms are currently occupied and who is present

purescript-lumi-components

Library of our UI components

arabica

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

jhc-components

JHC Haskell compiler split into reusable components

wise_mans_haskell

Free book for learning Haskell

emacs.d

My emacs config

retros

🏂🏻 Haskell based Retro board

software-foundations-book

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

JCU

uulib

The UUlib libraries

dbjava

A serializer and deserializer of the Jvm classfile format.

Hucc

[Abandoned] (So far) a lexer for Python 3.5 written in Haskell.

cField

It calculates widths and x coords for a list of fields

curso-logica

Herramientas del curso de lógica

idbjava

User Graphics Interface para Java y DBJava

ParserXML

Simple Parser for XML