carlosdagos

dots

💻 Dotfiles

osh

Shell-like programming for OCaml

haskell-sql-edsl-demo

Demo of SQL EDSLs in Haskell

blog

My personal blog

aws-config-rules

[Node, Python, Java] Repository of sample Custom Rules for AWS Config.

bucklescript

A backend for the OCaml compiler which emits JavaScript.

ch-hs-imports

doom-emacs

An Emacs framework for the stubborn martian hacker

dune-optional-libs-example

ekg-wai

Remote monitoring of Haskell processes

emacs-overlay

Bleeding edge emacs overlay [maintainer=@adisbladis]

foldl-statistics

An reimplementation of the Statistics.Sample Haskell module using the foldl package

hasql

Performant PostgreSQL driver with a flexible mapping API

legacy-theme-auto-switcher-gnome-extension

Change the GTK3 theme to light/dark variant based on the system color scheme on Gnome 42

meetings

Meeting notes and talk slides

morpheus-graphql

Haskell GraphQL Api, Client and Tools

nix

Nix, the purely functional package manager

ocaml

The core OCaml system: compilers, runtime system, base libraries

ocaml-postgrest

OCaml client for PostgREST (http://postgrest.org)

oni2

Native, lightweight modal code editor

PyF

Haskell QuasiQuoter for String Formatting

pymdown-extensions

Extensions for Python Markdown

servant-ekg

shexp

Process library and s-expression based shell

stack

The Haskell Tool Stack

stan

🕵️ Haskell STatic ANalyser

theta-idl

Define communication protocols between applications using algebraic data types.

unbeliever

Opinionated Haskell Interoperability

uuid

A Haskell library for creating, printing and parsing UUIDs

vector

An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .