• Stars
    star
    51
  • Rank 568,706 (Top 12 %)
  • Language Idris
  • License
    The Unlicense
  • Created about 10 years ago
  • Updated almost 10 years ago

Reviews

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

Repository Details

Learning project by a group of people interested in learning the Idris language

More Repositories

1

Scritchy

CQRS without plumbing
C#
68
star
2

learninghaskell

Learning Haskell
Haskell
49
star
3

NerdBeers

An app built to demonstrate the awesomeness of NancyFx and Simple.Data, inspired by NerdDinner, backed with AutoTest.Net and MSpec
C#
38
star
4

MinimalisticCQRS

CQRS for the lazy *ss
C#
37
star
5

SaasOvation

This is an alternative approach to facilitate DDD using CQRS on a really low level
C#
29
star
6

vuexel

A toy spreadsheet implementation in Vue.js
Vue
10
star
7

YakShayQRS

Yak Shaving CQRS - Architectural masturbation
C#
7
star
8

MVCExtensions

"Ruby on Rails"-like lib for Asp.Net MVC
C#
6
star
9

ConfReboot

This is the way I would implement the CQRS guidance project
C#
4
star
10

RazorDrivenDevelopment

Applying Behavior Driven Development using simple Razor Templates
C#
3
star
11

zalora

A demo project for the Zalora application
Haskell
2
star
12

gitut

Turn *any* git repository into a tutorial
Elixir
2
star
13

retrohackathon

The Leuven Haskell User Group retro-arcade Hackathon (15 Dec 2015)
Haskell
2
star
14

IDDD-Europe-tour-2013

This is a public repository where we can organize the IDDD Europe 2013 Tour
2
star
15

Aubergine

A minimalistic easy to setup .Net BDD story runner
C#
2
star
16

mauritius

Another evolution of CQRS
C#
2
star
17

Matchy

pattern matching in C#
C#
1
star
18

chatex

An example chat server in elixir
Elixir
1
star
19

story

automate the browser in an easy way
CoffeeScript
1
star
20

try_evm

My playground for elixir and erlang
Elixir
1
star
21

ew

Build a Simple Chart Website in a Few Minutes With Elixir
Elixir
1
star
22

Big

CoffeeScript
1
star
23

CQRS-101-code

Live code from the presentation (a bit cleaned up and some errors fixed)
C#
1
star