Jesus Prieto Colomina (jesuspc)

jesuspc

Geek Repo

Company:Lunar Energy

Location:London, United Kingdom

Github PK Tool:Github PK Tool

Jesus Prieto Colomina's starred repositories

haskell-nix

Nix and Haskell in production

Language:NixStargazers:1134Issues:0Issues:0

Idris-dev

A Dependently Typed Functional Programming Language

Language:HaskellLicense:NOASSERTIONStargazers:3417Issues:0Issues:0
Language:NixLicense:UnlicenseStargazers:69Issues:0Issues:0
Language:Emacs LispLicense:GPL-3.0Stargazers:2057Issues:0Issues:0

stack2nix

Generate nix expressions for Haskell projects

Language:NixLicense:MITStargazers:98Issues:0Issues:0

servant

Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!

Language:HaskellStargazers:1797Issues:0Issues:0

tfhe

TFHE: Fast Fully Homomorphic Encryption Library over the Torus

Language:C++License:NOASSERTIONStargazers:1198Issues:0Issues:0

helm-dash

Browse Dash docsets inside emacs

Language:Emacs LispStargazers:510Issues:0Issues:0

haskell-ide-engine

The engine for haskell ide-integration. Not an IDE

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

cardano-sl

Cryptographic currency implementing Ouroboros PoS protocol

Language:HaskellLicense:Apache-2.0Stargazers:3782Issues:0Issues:0

reflex-dom-inbits

A tutorial for reflex-dom with small code bits

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

reflex-starter

A simple starter project for building Reflex applications with Stack.

Language:ShellLicense:BSD-3-ClauseStargazers:36Issues:0Issues:0

witchcraft

Monads and other dark magic for Elixir

Language:ElixirLicense:MITStargazers:1187Issues:0Issues:0

grenade

Deep Learning in Haskell

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

haskell-ghc-illustrated

haskell ghc-illustrated

Stargazers:257Issues:0Issues:0

wire-server

🇪🇺 Wire back-end services

Language:HaskellLicense:AGPL-3.0Stargazers:2600Issues:0Issues:0

todo-backend-little-boxes

Simple implementation of the Todo-Backend API using LittleBoxes.

Language:RubyStargazers:3Issues:0Issues:0

plug_accesslog

Plug for writing access logs

Language:ElixirLicense:Apache-2.0Stargazers:31Issues:0Issues:0

flasked

Injecting ENV vars into application configuration at runtime (12factor app for Elixir)

Language:ElixirLicense:MITStargazers:42Issues:0Issues:0

FP-Course-ITMO

Slides and other materials for functional programming lectures ITMO university

Language:HaskellStargazers:614Issues:0Issues:0

little-boxes

Dependency injection framework in Ruby

Language:RubyLicense:MITStargazers:70Issues:0Issues:0

dasher

Dasher

Language:CLicense:GPL-2.0Stargazers:152Issues:0Issues:0

write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Language:HaskellLicense:MITStargazers:3330Issues:0Issues:0

wiwinwlh

What I Wish I Knew When Learning Haskell

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

haskus-system

Moved to https://github.com/haskus/packages

Language:HaskellStargazers:348Issues:0Issues:0

HaskellSpriteKit

Haskell binding to Apple's SpriteKit framework

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

ghc

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

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

pandoc

Universal markup converter

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

lazy_proxy

Efficient lazy proxy

Language:RubyLicense:MITStargazers:2Issues:0Issues:0

haskell-tools

Developer tools for Haskell

Language:HaskellStargazers:251Issues:0Issues:0