Name: Alejandro Serrano
Type: User
Company: @JetBrains
Bio: Engineer, functional programming passionate, author of 'FP for the Curious Kotliner', 'Haskell (Almost) Std. Libs.', 'Book of Monads', and 'Practical Haskell'
Twitter: trupill
Location: Utrecht, Netherlands
4languages
Book about Haskell, Clean, Agda and Idris
arrow-compose
Arrow ❤️ Compose
arrow-validation-tree
Arrow Validation Tree
avro
Haskell Avro Encoding and Decoding Native Support (no RPC)
avro-parser-haskell
Language definition and parser for AVRO (.avdl) files.
better-schedules-talk
"Better schedules using compositional design patterns"
bob2021-mu
"Servant vs. Mu: A Type-Level Battle", presented at BOB 2021
bootstrap
HTML, CSS, and JS toolkit from Twitter
c2hs
c2hs is a pre-processor for Haskell FFI bindings to C libraries
cat-theory-lambdaconf-wr-2017
charla-haskell-mad-2016
chat
A simple chat written using several paradigms
cobalt
COnstraint-BAsed Little Typechecker
codemotion-2022
Slides for Codemotion 2022 talk
conduit
A streaming data library
dddeu21
"Being Formal Yet Lightweight", presented at DDD Europe 2021
deprecation-repro
Code for reproducing KT-60604
derivative-parsing
Parsing using derivatives
djinn-lib
Library extracted from Djinn package
eclipsefp
EclipseFP, the Haskell plug-in for Eclipse
electrum2
Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
emacs-config
My Emacs configuration
emacs-config-2
emacs-haskell-tutorial
Tutorial on setting up Emacs to do Haskell programming
error-messages
fir-investigation
Investigating how to use Kotlin's FIR plug-in mechanism
fir-tree
IntelliJ plug-in to visualize the Frontend Intermediate Representation (FIR tree) of a piece of Kotlin code
fritz2
Easily build reactive web-apps in Kotlin based on flows and coroutines.
generic-aeson
Derivation of aeson instances using GHC Generics.
generics-mrsop
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
