carliros

carliros's Stars

• rust-lang/rust

  Empowering everyone to build reliable and efficient software.

  Language:Rust94.6k1.5k53.3k12.2k

• swiftlang/swift

  The Swift Programming Language

  Language:C++66.6k2.5k15.1k10.3k

• servo/servo

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

  Language:HTML26.4k49612.4k2.9k

• luong-komorebi/Awesome-Linux-Software

  🐧 A list of awesome Linux softwares

  Language:Python21.6k5181342k

• hibernate/hibernate-orm

  Hibernate's core Object/Relational Mapping functionality

  Language:Java5.8k30403.5k

• simplex-chat/simplex-chat

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

  Language:Haskell5.6k651k270

• aporter/coursera-android

  Source Code for Android Course Example Applications

  Language:Java4.3k1.1k655.3k

• usablica/front-end-frameworks

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

  2.8k15357319

• BartoszMilewski/Publications

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

  Language:Haskell1.2k1401634

• ndmitchell/ghcid

  Very low feature GHCi based IDE

  Language:Haskell1.1k22286110

• pvorb/learn-you-a-haskell

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

  Language:Makefile2971210101

• CDSoft/pp

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

  Language:Haskell252179121

• avr-llvm/llvm

  [MERGED UPSTREAM] AVR backend for the LLVM compiler library

  2202516921

• UU-ComputerScience/uhc

  Language:Haskell136217121

• TNG/virtual-office

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

  Language:TypeScript12281813

• purescript-react/purescript-lumi-components

  Library of our UI components

  Language:PureScript10511445

• periodicpoint/arabica

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

  73757

• csabahruska/jhc-components

  JHC Haskell compiler split into reusable components

  Language:Haskell5712012

• anchpop/wise_mans_haskell

  Free book for learning Haskell

  Language:Haskell484135

• abedra/emacs.d

  My emacs config

  Language:Emacs Lisp357110

• rametta/retros

  🏂🏻 Haskell based Retro board

  Language:Haskell17322

• carliros/software-foundations-book

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

  Language:Coq15211

• norm2782/JCU

  Language:JavaScript8302

• UU-ComputerScience/uulib

  The UUlib libraries

  Language:Haskell8945

• carliros/dbjava

  A serializer and deserializer of the Jvm classfile format.

  Language:Haskell3100

• Garciat/Hucc

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

  Language:Haskell2200

• carliros/cField

  It calculates widths and x coords for a list of fields

  Language:Haskell1100

• carliros/curso-logica

  Herramientas del curso de lógica

  Language:HTML1100

• carliros/idbjava

  User Graphics Interface para Java y DBJava

  Language:Haskell1100

• carliros/ParserXML

  Simple Parser for XML

  Language:Haskell110