• Stars
    star
    20
  • Rank 1,122,560 (Top 23 %)
  • Language
    Haskell
  • Created over 6 years ago
  • Updated almost 3 years ago

Reviews

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

Repository Details

Cursor data and manipulation

More Repositories

1

smos

A comprehensive self-management System
Haskell
265
star
2

validity

Validity and validity-based testing
Haskell
155
star
3

haskell-dangerous-functions

Documentation about Haskell's dangerous functions and a hlint config file to warn about them
Haskell
141
star
4

autodocodec

self(auto)- documenting encoders and decoders
Haskell
101
star
5

sydtest

A modern testing framework for Haskell with good defaults and advanced testing features.
Haskell
98
star
6

super-user-spark

A safe way to never worry about your beautifully configured system again. (NO LONGER MAINTAINED. Use Nixos instead.)
Haskell
94
star
7

syds-rules-for-sustainable-haskell

83
star
8

haskell-WAT

A collection of Haskell's WATs
83
star
9

feedback

Declarative feedback loop manager
Haskell
50
star
10

nix-does-not-guarantee-reproducibility

Nix
49
star
11

autorecorder

An automatic declarative ASCIInema recorder
Haskell
39
star
12

really-safe-money

Uncompromisingly safe money library
Haskell
36
star
13

easyspec

Signature inference for Functional Property Discovery in Haskell
Haskell
36
star
14

tui-base

A base to start writing a tui from
Haskell
30
star
15

super-user-stone

The configurations deployer that turns any computer into your computer. (deprecated in favor of super-user-spark.)
Python
29
star
16

bevel

Haskell
29
star
17

yamlparse-applicative

DEPRECATED use autodocodec instead An optparse-applicative -style explainable yaml parser.
Haskell
28
star
18

intray

GTD Capture tool
Haskell
27
star
19

hastory

DEPRECATED: Use bevel instead.
Haskell
25
star
20

opt-env-conf

Haskell
23
star
21

haphviz

Graphviz code generation with Haskell
Haskell
18
star
22

lineairealgebra

Studentencursus Lineaire Algebra
TeX
17
star
23

safe-coloured-text

Haskell
17
star
24

writing-a-text-editor-in-haskell-with-brick

Content for the my workshop at F(by) 2020: Writing a text editor in Haskell with Brick
Haskell
13
star
25

zifter

Composable code-quality tools
Haskell
13
star
26

nanosmos

A simple text editor written in Haskell with Brick
Haskell
13
star
27

ical

Haskell
12
star
28

dekking

Haskell
11
star
29

tickler

A GTD Tickler system
Haskell
11
star
30

the-notes

The Notes
Haskell
11
star
31

eden

the project Euler Development ENgine
Haskell
10
star
32

all-you-can-carry

Een verzameling van nuttige documenten voor het examen van numerieke wiskunde.
TeX
10
star
33

declops

Declarative, applicative, idempotent, self-tested infrastructure
Haskell
10
star
34

mergeless

Merge-less syncing of arbitrary immutable items
Haskell
9
star
35

sparep

Nix
8
star
36

eth-algolab-2015

Algolab solutions and writeups for the 2015 fall semestre
C++
8
star
37

yesod-static-remote

Turn runtime CDN usage into compile-time CDN usage.
Nix
8
star
38

mergeful

Safely synchronise values with safe merge conflicts.
Haskell
8
star
39

centjes

Haskell
8
star
40

smos-poc

A semantic tree-based editor to replace Emacs Org Mode for GTD
Haskell
7
star
41

picosmos

A single-line text editor written in Haskell with Brick
Haskell
7
star
42

sus-depot

My personal SUS depot
JavaScript
7
star
43

template-optparse

Template Argument, Option, Environment, Configuration parsing code for Haskell
Haskell
7
star
44

upcheck

Nix
7
star
45

exchangerates

A haskell api for http://exchangeratesapi.io
Haskell
7
star
46

looper

Run actions periodically
Haskell
7
star
47

pretty-relative-time

Haskell
6
star
48

habitscipline

Haskell
6
star
49

haskell-dependency-graph-nix

Nix
6
star
50

dnscheck

A quick, declarative DNS checker to run continuously for monitoring.
Haskell
6
star
51

chronicle

A command-line journal with optional encryption
Shell
6
star
52

fuzzy-time

Haskell
5
star
53

linkcheck

A fast link checker for CI
Haskell
5
star
54

haskell-testing-intro

Getting started with testing in Haskell
Haskell
5
star
55

millismos

A simple forest-editor with brick.
Haskell
5
star
56

PAULA-proof-of-concept

Personal Artificial Intelligent Life Assistant
Python
5
star
57

monadic-party

Haskell
5
star
58

template-api-server-with-auth-and-cli

A template implementation of an API server with an example command-line tool to go along with it
Haskell
5
star
59

stacklock2nix

Zurihac expriment
Nix
4
star
60

algebra-notities

Notities voor Algebra I en Toepassingen van Algebra
TeX
4
star
61

yi-solarized

Solarized colour scheme for the Yi editor.
Haskell
4
star
62

microsmos

A simple tree-editor with brick.
Haskell
4
star
63

cursor-brick

Brick widgets for cursors
Haskell
4
star
64

TMI-Notities

Notities voor Toepassingen van meetkunde in informatica
TeX
4
star
65

token-limiter-concurrent

A type-safe token-bucket-based rate limiter with fairness and without the thundering herd problem
Haskell
4
star
66

testing-in-rust

Nix
3
star
67

ab-notities

Notities voor Automaten on Berekenbaarheid
TeX
3
star
68

thesis

Thesis
Haskell
3
star
69

LambdaTeX

Type-safe LaTeX EDSL in Haskell
Haskell
3
star
70

typed-uuid

UUID with a phantom type
Haskell
3
star
71

project-euler

EDEN driven project euler solutions
TeX
3
star
72

wolf

An API-first, CLI-second, Web whenever PRM
Haskell
3
star
73

wallpaper-project

Create and customize your own dynamic wallpaper
3
star
74

template-cli

Template Command-Line Interface
Haskell
3
star
75

an-overview-of-property-testing

An overview of property testing, for F(by) 2020
3
star
76

dirforest

Haskell
2
star
77

nixos-tests-talk

A talk about nixos tests
Nix
2
star
78

safepath

Safe Paths in Haskell, Deprecated, use https://github.com/chrisdone/path instead.
Haskell
2
star
79

amqp-client

A Proof Of Concept of a modern AMQP client for haskell. Happy to un-archive if anyone wants to run with it.
Haskell
2
star
80

template-filler

Haskell
2
star
81

monadic.party

Haskell
2
star
82

cursor-dirforest

Directory forest cursor
Haskell
2
star
83

cursor-fuzzy-time

Haskell
2
star
84

nixfmt

A Normalising Formatter for Nix Code
Haskell
2
star
85

appendful

Merge-less syncing of arbitrary immutable items without deletions
Haskell
2
star
86

database-schema-interview-question

Haskell
2
star
87

template-web-server

Template Web Server
Nix
2
star
88

cn-cards

Computer Networks, the card-game
TeX
2
star
89

iostring

Haskell
1
star
90

json-codec

JSON parsing experiment. Not ready.
Haskell
1
star
91

asl

ASL System
Haskell
1
star
92

tsjak-rosalind

Solutions to ROSALIND problems
Haskell
1
star
93

social-dance-today

https://social-dance.today
Haskell
1
star
94

practical-property-testing-in-haskell

1
star
95

tpa

Minimalist declarative command-line Third Party Authenticator
Haskell
1
star
96

template-tui

Template terminal user Interface
Nix
1
star
97

IVIScriptTemplate

A template for IVI scripts
Haskell
1
star
98

IVIBootstrap

IVI's bootstrap program
Haskell
1
star
99

IVI

Intelligent Virtual Interface
Haskell
1
star
100

nix-segfault-haskell

Haskell
1
star