Atidot's repositories
language-powerquery
PowerQuery (M Language) AST and Parser in Haskell
PrologNixDocker
SWI-Prolog in Docker with Nix
terraform-hs
A Haskell ADL to generate terraform files.
anonymizer
Atidot Anonymizer Monad and tools
clash-playground
A Clash playground/starter kit, using Nix
haskell-lsp
Haskell library for the Microsoft Language Server Protocol
azure-managedapp-notifications
Azure ManagedApp Notifications in Haskell
code-metrics
Counting LOCs and dependencies project-wide
deployment
Atidot Deployment
dhall-kubernetes
Typecheck, template and modularize your Kubernetes definitions with Dhall
dhall-lang
The non-repetitive alternative to YAML
jupyterWith
declarative and reproducible Jupyter environments - powered by Nix
nixpkgs
Nix Packages collection
PythonPengines
A Python interface to the Prolog pengines library. Makes it exceedingly easy to call out to SWI-Prolog within Python!
spellcheck-th
Running aspell in a Quasi-Quoter
static-haskell-nix
easily build most Haskell programs into fully static Linux executables
stratosphere
Haskell EDSL and type-checker for AWS CloudFormation templates