gitlab.com / locallycompact
locallycompact/gitlab-api
Gitlab Web API in Haskell
Last synced at: almost 3 years ago - Stars: 0 - Forks: 1
locallycompact/pcap-idris
Idris bindings to pcap
Last synced at: almost 3 years ago - Stars: 0 - Forks: 0
locallycompact/baserock-schema
Baserock Definitions Schema in Haskell
Last synced at: almost 3 years ago - Stars: 0 - Forks: 0
locallycompact/yaml-pretty-extras
Extra functionality for encoding pretty YAML files in Haskell.
Last synced at: almost 3 years ago - Stars: 0 - Forks: 0
locallycompact/nixos-config
Personal nixos-config.
Last synced at: almost 3 years ago - Stars: 0 - Forks: 0
locallycompact/ixset-typed-conversions
Conversions from ixset-typed to other containers.
Last synced at: almost 3 years ago - Stars: 0 - Forks: 0
locallycompact/ANLGTH
A Nonlinear Guide To Haskell Webbook
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
locallycompact/shakebook-init
Tool for generating shakebooks.
Last synced at: almost 3 years ago - Stars: 0 - Forks: 0
locallycompact/av-stpa
Work-in-progress STPA requirements for Autonomous Vehicles
Last synced at: almost 3 years ago - Stars: 0 - Forks: 0
locallycompact/azure-platform
Nix based docker gear designed to make working with Azure less painful.
Last synced at: almost 3 years ago - Stars: 0 - Forks: 0
locallycompact/HaskellDragons2
An example repository introducing YAML, Maybe and Docopt. This is part of the web book 'A Nonlinear Guide to Haskell', found here: http://locallycompact.gitlab.io/ANLGTH/
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
locallycompact/HaskellDragons
A example repository introducing basic types and functions. This is part of the web book 'A Nonlinear Guide to Haskell', found here: http://locallycompact.gitlab.io/ANLGTH/
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
locallycompact/rio-dbus
DBUS Protocol Using RIO Prelude
Last synced at: almost 3 years ago - Stars: 0 - Forks: 0
locallycompact/KBAS
An example artifact server with a Haskell backend and a purescript frontend.
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
