Pinned Repositories
4clojure
Solution to http://www.4clojure.com/problems
acl-slack
Fork of cl-slack, a Slack API for Common Lisp. This fork is intended for AllegroCL and has no external dependencies.
asciinema-helm
Helm chart for asciinema
blog
My personal blog
bonlang
Minimalist language created at ZuriHac 2016 in Zurich, CH
dots
💻 Dotfiles
haskell-sql-edsl-demo
Demo of SQL EDSLs in Haskell
mxhkd
Modal X Key Daemon
osh
Shell-like programming for OCaml
nixpkgs
Nix Packages collection & NixOS
carlosdagos's Repositories
carlosdagos/dots
💻 Dotfiles
carlosdagos/haskell-sql-edsl-demo
Demo of SQL EDSLs in Haskell
carlosdagos/blog
My personal blog
carlosdagos/Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
carlosdagos/adv360-zmk-config
ZMK configuration for Advantage 360 pro
carlosdagos/aws-config-rules
[Node, Python, Java] Repository of sample Custom Rules for AWS Config.
carlosdagos/ch-hs-imports
carlosdagos/doom-emacs
An Emacs framework for the stubborn martian hacker
carlosdagos/dune-optional-libs-example
carlosdagos/ekg-wai
Remote monitoring of Haskell processes
carlosdagos/emacs-overlay
Bleeding edge emacs overlay [maintainer=@adisbladis]
carlosdagos/foldl-statistics
An reimplementation of the Statistics.Sample Haskell module using the foldl package
carlosdagos/hasql
Performant PostgreSQL driver with a flexible mapping API
carlosdagos/legacy-theme-auto-switcher-gnome-extension
Change the GTK3 theme to light/dark variant based on the system color scheme on Gnome 42
carlosdagos/meetings
Meeting notes and talk slides
carlosdagos/morpheus-graphql
Haskell GraphQL Api, Client and Tools
carlosdagos/nix
Nix, the purely functional package manager
carlosdagos/ocaml
The core OCaml system: compilers, runtime system, base libraries
carlosdagos/ocaml-postgrest
OCaml client for PostgREST (http://postgrest.org)
carlosdagos/oni2
Native, lightweight modal code editor
carlosdagos/PyF
Haskell QuasiQuoter for String Formatting
carlosdagos/pymdown-extensions
Extensions for Python Markdown
carlosdagos/servant-ekg
carlosdagos/shexp
Process library and s-expression based shell
carlosdagos/stack
The Haskell Tool Stack
carlosdagos/stan
🕵️ Haskell STatic ANalyser
carlosdagos/theta-idl
Define communication protocols between applications using algebraic data types.
carlosdagos/unbeliever
Opinionated Haskell Interoperability
carlosdagos/uuid
A Haskell library for creating, printing and parsing UUIDs
carlosdagos/vector
An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .