• Stars
    star
    2
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 5 years ago
  • Updated over 5 years ago

Reviews

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

Repository Details

Like Debug.Trace, but allows writing to files

More Repositories

1

tin-summer

Find build artifacts that are taking up disk space
Rust
306
star
2

polyglot

Tool to count lines of source code.
ATS
234
star
3

project-init

Project templates in rust
Rust
129
star
4

command-line-tweeter

Tweets in from a pipe
Haskell
71
star
5

dhall-vim

Syntax highlighting for Dhall
Vim Script
67
star
6

jacinda

Functional, expression-oriented data processing language
Haskell
66
star
7

cpkg

A build tool/package manager for C, configured with Dhall
Dhall
65
star
8

recursion_schemes

Recursion schemes for Idris
Idris
60
star
9

kempe

Kempe is a compiled stack-based language
Haskell
56
star
10

github-actions-dhall

Dhall helpers for github actions
Dhall
55
star
11

madlang

Madlang is a language for generative literature
Haskell
52
star
12

atspkg

Build tool for ATS.
Haskell
41
star
13

apple

Apple array system
Haskell
37
star
14

permutations

Provides a type-safe way of working with permutations in Idris
Idris
30
star
15

dickinson

Text generation language
Haskell
28
star
16

tomlcheck

A syntax checker for TOML files
Haskell
28
star
17

vim-twitter

Tweet from inside vim!
Vim Script
27
star
18

libmeme

A library for inserting clap emoji into strings
Haskell
25
star
19

hs-ats

Home of the fast-arithmetic library for number theory in ATS and Haskell.
ATS
22
star
20

tw-rs

Command-Line Interface Tweeter, for rust
Rust
19
star
21

rure

Haskell bindings to Rust's regex library
Haskell
17
star
22

coronavirus

covid-19 data in J
J
16
star
23

EMD

Earth mover's distance on Nvidia GPUS
Haskell
14
star
24

doggo-command-line

Compliment your dog
Rust
13
star
25

just-vim

Syntax highlighting for Justfiles
Vim Script
13
star
26

phash

Perceptual hashing command-line tool
Haskell
13
star
27

linear

Linear lenses in Blodwen
Idris
13
star
28

ion-vim

Syntax highlighting for the ion shell
Vim Script
13
star
29

libarchive

Haskell bindings to libarchive
C
12
star
30

recursion-schemata

Generate fake recursion schemes
Haskell
12
star
31

pybqn

BQN↔NumPy bridge
C
12
star
32

edit-distance

Levenshtein edit distance, packaged for ATS
ATS
11
star
33

ats-format

ATS source code formatter
Haskell
11
star
34

j-hs

Call J from Haskell
Haskell
11
star
35

shake-dhall

Facilities for using Shake + dhall
Haskell
10
star
36

cpp-build

Use the C pre-processor on Rust projects
Rust
10
star
37

ghc-cross

aarch64 and armv7 cross-compilers
9
star
38

morphism-zoo

Some examples of recursion schemes, with benchmarks
Haskell
9
star
39

ipkg-vim

Syntax highlighting for Idris package files
Vim Script
9
star
40

ats-stats

Demonstration of GPU-accelerated statistical functions in ATS
ATS
9
star
41

kullback-liebler

Kullback-Liebler divergence in Futhark
Futhark
8
star
42

language-xats

Language library for manipulating ATS3 in Haskell.
Haskell
8
star
43

recursion

Recursion schemes in ATS
ATS
8
star
44

spherical

Library for spherical geometry in Haskell
Haskell
8
star
45

ats-benchmarks

Benchmarks of ATS compared to Rust and Haskell
Haskell
8
star
46

ats-concurrency

Concurrency primitives for ATS
ATS
8
star
47

hlint-lib

Library containing some standard HLint helpers
Dhall
7
star
48

pi-templates

Templates for pi
Haskell
7
star
49

perceptual-hash

Perceptual Hash in J
J
7
star
50

monads

Monads for viewtypes in ATS
ATS
7
star
51

hgis

Haskell as a GIS
Haskell
6
star
52

archive-backpack

Demonstration of backpack to enable substitution of tar/libarchive functionality
Haskell
6
star
53

pointfree

Wrapper of pointfree command-line tool for Haskell
Vim Script
6
star
54

hask-replace

Command-line tool to rename modules in Haskell projects
Rust
6
star
55

cabal-project-vim

Syntax highlighting for `cabal.project` files.
Vim Script
6
star
56

miso

Miso project template for GHCJS 8.6
Haskell
5
star
57

tokei-vim

Vim plugin for of tokei
Vim Script
5
star
58

linkedin-madlibs

Source for linkedin article generator
Haskell
5
star
59

brainheck

Brainh*ck intrepreter in haskell.
Brainfuck
5
star
60

haskell-ats

Template project for mixing Haskell and ATS
Haskell
5
star
61

ghci-syntax

Syntax highlighting for ghci configuration files
Vim Script
5
star
62

egison-vim

Vim syntax highlighting for Egison
Vim Script
4
star
63

avif

libavif bindings for Haskell
Haskell
4
star
64

img-fut

Image manipulation in Futhark
Futhark
4
star
65

QR-writer

Haskell library for writing QR codes to file
Haskell
4
star
66

crc32

CRC32 implementation in ATS
ATS
4
star
67

hackage-fetch

Fetch every single package on Hackage, using Python + shell madness
Haskell
4
star
68

markov-bot

Make a twitter bot from any corpus of text you desire
Python
4
star
69

viminit

Python script to initialize a vim project
Python
4
star
70

tibetan-utils

Utils for tibetan numerals in Haskell
Haskell
4
star
71

elliptic-fourier

Elliptic Fourier series in J
J
4
star
72

xmonad-vanessa

Xmonad configuration
Haskell
4
star
73

recursion-schemes-benchmarks

Benchmarks of Fibonacci functions built with recursion schemes vs. pattern matching.
Haskell
3
star
74

composition

Composition extras for Idris
Idris
3
star
75

ats-codecount

Code counter experiment in ATS
ATS
3
star
76

sql-qq

Syntax highlighting for quasi-quotes within Haskell.
Vim Script
3
star
77

madlang-miso

Frontend project template with madlang
Haskell
3
star
78

illiterate

Preprocessor for literate programming
Shell
3
star
79

hot-takes

Programming opinion generator
Haskell
3
star
80

either

Port of Data.Either for ATS
ATS
3
star
81

q-bench

benchmarks of q(-sql)
R
3
star
82

oeis

OEIS functions in Haskell
Haskell
3
star
83

cli-setup

Helper scripts to install manpages alongside a command-line tool.
Rust
3
star
84

dir-traverse

Recursive directory traversals in Haskell
Haskell
2
star
85

phash-fut

Perceptual hash in Futhark
Python
2
star
86

elm-composition

Port of Haskell's composition library to Elm
Elm
2
star
87

pathological-bytestrings

Facilities for testing with ByteStrings
Haskell
2
star
88

lzlib

lzlib bindings for Haskell
Haskell
2
star
89

ats-wc

Demonstration of packaing for ATS + faster/safer version of coreutils
ATS
2
star
90

basic-recursion

Basic recursion schemes in Blodwen
2
star
91

comonad

Comonads for Idris
Idris
2
star
92

NonEmpty

NonEmpty type for Dhall
Dhall
2
star
93

haskal

How to write Haskal good
Haskell
2
star
94

librarian

Tools to manage a home library
Haskell
2
star
95

tibetan-typing

An Elm app that teaches typing for Tibetan and Dzongkha.
Elm
2
star
96

ats-storable

ATS storable instance
Haskell
1
star
97

ppp

Permutations in PureScript
PureScript
1
star
98

specats

Bare-bones unit testing library for ATS
ATS
1
star
99

safe-bytecount

Safe bytecount demo in ATS
ATS
1
star
100

matrix-benchmarks

Matrix benchmarks for J/Python
J
1
star