mbj/source-constraints mbj/source-constraints

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created about 6 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mbj/source-constraints
github

mbj

Reviews

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

Repository Details

GHC plugins to constrain the haskell source

More Repositories

1

mutant

Automated code reviews via mutation testing - semantic code coverage.
Ruby
1,950
star
2

unparser

Turn Ruby AST into semantically equivalent Ruby source
Ruby
310
star
3

anima

Object initializer from attributes hash
Ruby
173
star
4

stratosphere

Haskell EDSL and type-checker for AWS CloudFormation templates
Haskell
162
star
5

vanguard

External validations for ruby objects
Ruby
120
star
6

concord

Mixin to ease compositions in ruby
Ruby
112
star
7

devtools

The rake ci task!
Ruby
64
star
8

inflecto

Inflector for ruby
46
star
9

auom

Algebra with units of measurement.
Ruby
27
star
10

axiom-mongo-adapter

An MongoDB adapter for Axiom
Ruby
11
star
11

esearch

A ruby driver for elasticsearch that is ONLY A DRIVER.
Ruby
11
star
12

axiom-arango-adapter

An ArangoDB adapter for Axiom
Ruby
8
star
13

mhs

Haskell tooling megarepo
Haskell
8
star
14

axiom-elasticsearch-adapter

An Elasticsearch adapter for Axiom.
Ruby
8
star
15

mprelude-rb

Ruby
7
star
16

to_source

Generator for equivalent source from rubinius AST
Ruby
7
star
17

aql

The ArangoDB AQL AST and to_source implementation
Ruby
7
star
18

ruby-cdb

Ruby cdb reader and writer
C
6
star
19

guard-mutant

Mutant integration for guard
Ruby
6
star
20

mapper

A simple mapper without a latin name. (abandoned)
Ruby
6
star
21

axiom-fuzzer

A fuzzer for axiom relations
Ruby
6
star
22

assets

Playground for a nicer asset system
Ruby
6
star
23

response

Build HTTP responses
Ruby
5
star
24

request

Abstract not only the rack env in something more nice
Ruby
5
star
25

pgt

SQL Golden Testing Tool for postgresql
Haskell
5
star
26

ffprobe

Ruby wrapper around ffprobe
Ruby
4
star
27

eventstorm

unfinished zmq based event aggregation framework
Ruby
4
star
28

tasty-mgolden

A different golden testing provider for tasty.
Haskell
4
star
29

morpher

Transformation of ruby data-structures with optionally traced evaluation
Ruby
4
star
30

rz

Ruby ZeroMQ based jobserver with truly pulling workers
Ruby
3
star
31

openapi

OpenAPI datatypes
Haskell
3
star
32

axiom-sexp

Generate and load veritas relations from / to s-expressions
Ruby
3
star
33

lht

Lambda haskell tool / builds static binaries inside alpine containers
Haskell
3
star
34

db-migrations

Haskell Database Migrations for Postgresql
Haskell
3
star
35

ducktrap

The old soon to be unmaintained ducktrap. Successor is mbj/morpher
Ruby
3
star
36

stack-deploy

Tooling around cloudformation templates
Haskell
3
star
37

variable

Ruby concurrency variables MVar and IVar
Ruby
2
star
38

mutant-rails-example

Mutant with rails example
Ruby
2
star
39

conversions

Haskell type conversions, another one.
Haskell
2
star
40

cbt

Container backend tool
2
star
41

devtools-hs

Haskell development tooling
Haskell
2
star
42

navigation

A web navigation dry up package
Ruby
1
star
43

sitemap_xml

Incomplete sitemap xml generator
Ruby
1
star
44

sunits

Depreciated sunits repo. Only used since some of my older projects will install from here!
Ruby
1
star
45

dump-parser

Simple and dump string 2 value DSL
Ruby
1
star
46

custom-resource

Custom CloudFormation Resources
Haskell
1
star
47

tinymagick

Simple ruby wrapper around imagemagick tools "identify" and "mogrify"
Ruby
1
star
48

html

Because XSS-free HTML generation is not about String#html_safe?
Ruby
1
star
49

mprelude

Very minimal prelude
Haskell
1
star
50

mcake

Ruby
1
star
51

dm-annoing-modificators

Modification methods that raise on failure for datamapper.
Ruby
1
star
52

apk-build

My APK overlay and builder
Shell
1
star