Atidot's repositories
moto
A library that allows you to easily mock out tests based on AWS infrastructure.
language-powerquery
PowerQuery (M Language) AST and Parser in Haskell
PythonPengines
A Python interface to the Prolog pengines library. Makes it exceedingly easy to call out to SWI-Prolog within Python!
core
Core utilities for Poetry
platform
Atidot Platform
deployment
Atidot Deployment
stratosphere
Haskell EDSL and type-checker for AWS CloudFormation templates
azure-managedapp-notifications
Azure ManagedApp Notifications in Haskell
terraform-hs
A Haskell ADL to generate terraform files.
static-haskell-nix
easily build most Haskell programs into fully static Linux executables
haskell-lsp
Haskell library for the Microsoft Language Server Protocol
anonymizer
Atidot Anonymizer Monad and tools
spellcheck-th
Running aspell in a Quasi-Quoter
nixpkgs
Nix Packages collection
ACIM
Atidot Continuous Integration Monad
code-metrics
Counting LOCs and dependencies project-wide
haskell
Haskell client for the kubernetes API. A work in progress.
mssql-cli
A command-line client for SQL Server with auto-completion and syntax highlighting
PrologNixDocker
SWI-Prolog in Docker with Nix
jupyterWith
declarative and reproducible Jupyter environments - powered by Nix
dhall-lang
The non-repetitive alternative to YAML
dhall-kubernetes
Typecheck, template and modularize your Kubernetes definitions with Dhall
hs-git
git protocol and storage in pure haskell
bits
Bit twiddling and bitwise serialization primitives
skd3
Sankey Diagram made easy. A javascript library that extends the popular D3.js/d3-sankey to enable fast and beautiful.
d3-sankey
Visualize flow between nodes in a directed acyclic network.
clash-playground
A Clash playground/starter kit, using Nix