Discover vmchale/ats-benchmarks Open Source project

Tool to count lines of source code.

306

polyglot

Project templates in rust

234

project-init

129

command-line-tweeter

Tweets in from a pipe

Syntax highlighting for Dhall

dhall-vim

Functional, expression-oriented data processing language

jacinda

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

cpkg

Dhall

recursion_schemes

Recursion schemes for Idris

Kempe is a compiled stack-based language

kempe

Dhall helpers for github actions

github-actions-dhall

Dhall

madlang

Madlang is a language for generative literature

atspkg

apple

permutations

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

dickinson

Text generation language

A syntax checker for TOML files

tomlcheck

vim-twitter

Tweet from inside vim!

A library for inserting clap emoji into strings

libmeme

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

hs-ats

Command-Line Interface Tweeter, for rust

tw-rs

Haskell bindings to Rust's regex library

rure

Earth mover's distance on Nvidia GPUS

coronavirus

covid-19 data in J

EMD

doggo-command-line

Compliment your dog

Syntax highlighting for Justfiles

just-vim

Perceptual hashing command-line tool

phash

linear

Linear lenses in Blodwen

Syntax highlighting for the ion shell

ion-vim

Haskell bindings to libarchive

libarchive

recursion-schemata

Generate fake recursion schemes

Levenshtein edit distance, packaged for ATS

pybqn

BQN↔NumPy bridge

edit-distance

ATS source code formatter

ats-format

j-hs

Call J from Haskell

Facilities for using Shake + dhall

shake-dhall

Use the C pre-processor on Rust projects

cpp-build

aarch64 and armv7 cross-compilers

ghc-cross

morphism-zoo

Some examples of recursion schemes, with benchmarks

Syntax highlighting for Idris package files

ipkg-vim

Demonstration of GPU-accelerated statistical functions in ATS

ats-stats

Kullback-Liebler divergence in Futhark

kullback-liebler

Futhark

language-xats

Language library for manipulating ATS3 in Haskell.

recursion

Recursion schemes in ATS

Library for spherical geometry in Haskell

spherical

Concurrency primitives for ATS

ats-concurrency

Library containing some standard HLint helpers

hlint-lib

pi-templates

perceptual-hash

monads

Monads for viewtypes in ATS

hgis

Haskell as a GIS

Demonstration of backpack to enable substitution of tar/libarchive functionality

archive-backpack

Wrapper of pointfree command-line tool for Haskell

pointfree

Command-line tool to rename modules in Haskell projects

hask-replace

Syntax highlighting for `cabal.project` files.

cabal-project-vim

Miso project template for GHCJS 8.6

miso

tokei-vim

Vim plugin for of tokei

Source for linkedin article generator

linkedin-madlibs

Brainh*ck intrepreter in haskell.

brainheck

Brainfuck

haskell-ats

Template project for mixing Haskell and ATS

Syntax highlighting for ghci configuration files

ghci-syntax

Vim syntax highlighting for Egison

egison-vim

libavif bindings for Haskell

avif

Image manipulation in Futhark

img-fut

Futhark

QR-writer

Haskell library for writing QR codes to file

CRC32 implementation in ATS

crc32

Fetch every single package on Hackage, using Python + shell madness

hackage-fetch

Make a twitter bot from any corpus of text you desire

markov-bot

Python

viminit

Python script to initialize a vim project

Python

tibetan-utils

Utils for tibetan numerals in Haskell

Elliptic Fourier series in J

elliptic-fourier

xmonad-vanessa

Xmonad configuration

Benchmarks of Fibonacci functions built with recursion schemes vs. pattern matching.

recursion-schemes-benchmarks

Composition extras for Idris

composition

Code counter experiment in ATS

ats-codecount

Syntax highlighting for quasi-quotes within Haskell.

sql-qq

Frontend project template with madlang

madlang-miso

Preprocessor for literate programming

illiterate

Shell

hot-takes

Programming opinion generator

Port of Data.Either for ATS

either

OEIS functions in Haskell

q-bench

benchmarks of q(-sql)

oeis

Helper scripts to install manpages alongside a command-line tool.

cli-setup

Recursive directory traversals in Haskell

dir-traverse

Perceptual hash in Futhark

phash-fut

Python

elm-composition

Port of Haskell's composition library to Elm

Elm

pathological-bytestrings

Facilities for testing with ByteStrings

lzlib bindings for Haskell

lzlib

Like Debug.Trace, but allows writing to files

debug-dump

Demonstration of packaing for ATS + faster/safer version of coreutils

ats-wc

Basic recursion schemes in Blodwen

basic-recursion

comonad

Comonads for Idris

NonEmpty

NonEmpty type for Dhall

Dhall

haskal

How to write Haskal good

Tools to manage a home library

librarian

An Elm app that teaches typing for Tibetan and Dzongkha.

tibetan-typing

Elm

ats-storable

ATS storable instance

Permutations in PureScript

ppp

PureScript

specats

Bare-bones unit testing library for ATS

Safe bytecount demo in ATS

safe-bytecount