marcosh/dhall-deptrac marcosh/dhall-deptrac

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language Dhall
  • License
    Other
  • Created almost 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
marcosh/dhall-deptrac
github

marcosh

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Dhall types and functions to manage Deptrac configurations

More Repositories

1

lamphpda

A collection of type-safe functional data structures
PHP
114
star
2

crem

Compositional Representable Executable Machines
Haskell
101
star
3

php-validation-dsl

A DSL for validating data in a functional fashion
PHP
48
star
4

existential-optics

A simple optics library based on existential encoding
Haskell
12
star
5

lamphpda-validation

A validation library using Either from marcosh/lamphpda
PHP
11
star
6

elm-escqrs

experiments with elm and es/cqrs
Elm
9
star
7

lamphpda-optics

A functional optic library for PHP
PHP
8
star
8

elm-html-to-unicode

elm library to convert html characters to unicode
Elm
6
star
9

theartofcomposition

slides for my talk about category theory
6
star
10

elm-table-football

an application to connect elm, ddd/es/cqrs and table football
Elm
5
star
11

elm-joindin

A page for displaying links to slides of joindin talks
Elm
4
star
12

typed-state-machine

Haskell
3
star
13

marcosh.github.io

JavaScript
3
star
14

idris-hanoi

a super type safe implementation of the game of the Tower of Hanoi
Idris
3
star
15

fun-with-categories-talk

slides for the `fun with categories` talk
JavaScript
3
star
16

ddd-machines-dddeurope

Haskell
2
star
17

property-based-testing-examples

Haskell
2
star
18

elm-hanoi

The Hanoi tower game implemented in Elm
JavaScript
2
star
19

effector

A Php library to write effect aware code.
PHP
1
star
20

php-type-checker

Checks which methods are missing a return type hint
PHP
1
star
21

fundic

PHP purely functional dependency injection container
PHP
1
star
22

maybe-php

A safe and generic implementation on Maybe in PHP
PHP
1
star
23

domain-modelling-state-machines-talk

1
star
24

traffic

Experimenting with traffic simulations using [Arduino](https://www.arduino.cc/) and [Copilot](https://copilot-language.github.io/).
Haskell
1
star
25

php-sum-types

another attempt at sum types in PHP
PHP
1
star