ziman/itt

Stars
15
Rank 1,371,379 (Top 28 %)
Language
Haskell
License
BSD 3-Clause "New...
Created almost 6 years ago
Updated over 4 years ago

ziman/itt

ziman

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

Tiny dependent calculus with inference of irrelevance and erasure

lightyear

Parser combinators for Idris

idris-py

Python backend for Idris (generates Python source, not bytecode).

rarcrack

[unofficial fork] RAR bruteforce cracker

pmtu

Path MTU discovery tool

itt-idris

ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2

idris-ocaml

OCaml back end for Idris

bibdris

BibTeX database management in Idris

idris-data-frame

Data frames for Idris 2

ttstar

Dependently typed core calculus with erasure

text

Text framework for Idris

idris-benchmarks

Some benchmarks for Idris

idris2-mlf

Malfunction backend for Idris 2

idris-bytes

FFI-based byte buffers for Idris

keychain-bruteforce

Bruteforce master passwords of the MAC OS X password manager.

idris-scheme

Scheme codegen for Idris

scan-eSCL

Scan from eSCL-compatible scanners

deconvolution

A deconvolution algorithm

meshub

A lightweight mesh VPN

simple-prolog

A simple Prolog implementation in Haskell

macro-pp

Universal macro preprocessor

wireplay

[MIRROR] A minimalist approach to replay pcap-dumped TCP sessions.

idris2-perf

Various benchmarks

hackup

Backup system written in Haskell

ever-to-excel

Compile a Scheme-like language into a spreadsheet

globusator

Globe stripe generator

hilite

Terminal output highlighter

buslittles

Watch subtitles on laptop while film is playing on TV

qanachem

Anaglyph Chemistry

stacker

Astrophotography stacker

lamtc

Simple Prolog type checker

wlist

jpg-recover

Recover JPEG/CR2 files from raw bytes.

idris-ttstar

TTstar backend for Idris

excomp

A certified compiler of exceptions from my thesis (Agda)

ecomp

A simple certified expression compiler (Coq)

ledger-vim

Feature-free vim plugin for ledger files

anamovie

Create anaglyph movies from stereomovies

dictpress

Preprocess wordlists before compression

trees

Even-odd trees from plain lists, structurally:

ofca

OFCA Free Command Analyzer

leveler

HDR to LDR leveler

pastemath

A math pastebin (pastemath.functor.sk)