ziman/idris-ttstar ziman/idris-ttstar

  • Stars
    star
    1
  • Language
    Haskell
  • License
    Other
  • Created over 7 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ziman/idris-ttstar
github

ziman

Reviews

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

Repository Details

TTstar backend for Idris

More Repositories

1

lightyear

Parser combinators for Idris
Idris
236
star
2

idris-py

Python backend for Idris (generates Python source, not bytecode).
Haskell
124
star
3

rarcrack

[unofficial fork] RAR bruteforce cracker
C
97
star
4

pmtu

Path MTU discovery tool
Python
34
star
5

itt-idris

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

idris-ocaml

OCaml back end for Idris
Haskell
22
star
7

bibdris

BibTeX database management in Idris
Idris
18
star
8

idris-data-frame

Data frames for Idris 2
Idris
18
star
9

ttstar

Dependently typed core calculus with erasure
Idris
17
star
10

itt

Tiny dependent calculus with inference of irrelevance and erasure
Haskell
15
star
11

text

Text framework for Idris
Idris
13
star
12

idris-benchmarks

Some benchmarks for Idris
Idris
11
star
13

idris2-mlf

Malfunction backend for Idris 2
Idris
11
star
14

idris-bytes

FFI-based byte buffers for Idris
Idris
11
star
15

keychain-bruteforce

Bruteforce master passwords of the MAC OS X password manager.
Python
8
star
16

idris-scheme

Scheme codegen for Idris
Haskell
6
star
17

scan-eSCL

Scan from eSCL-compatible scanners
Python
4
star
18

deconvolution

A deconvolution algorithm
MATLAB
4
star
19

meshub

A lightweight mesh VPN
Python
3
star
20

simple-prolog

A simple Prolog implementation in Haskell
Haskell
3
star
21

macro-pp

Universal macro preprocessor
Haskell
3
star
22

wireplay

[MIRROR] A minimalist approach to replay pcap-dumped TCP sessions.
C
2
star
23

idris2-perf

Various benchmarks
Idris
2
star
24

hackup

Backup system written in Haskell
Haskell
2
star
25

ever-to-excel

Compile a Scheme-like language into a spreadsheet
Haskell
2
star
26

globusator

Globe stripe generator
Perl
2
star
27

hilite

Terminal output highlighter
Perl
1
star
28

buslittles

Watch subtitles on laptop while film is playing on TV
CoffeeScript
1
star
29

qanachem

Anaglyph Chemistry
C++
1
star
30

stacker

Astrophotography stacker
C++
1
star
31

lamtc

Simple Prolog type checker
Prolog
1
star
32

wlist

iw scan parser
Haskell
1
star
33

jpg-recover

Recover JPEG/CR2 files from raw bytes.
C
1
star
34

excomp

A certified compiler of exceptions from my thesis (Agda)
JavaScript
1
star
35

ecomp

A simple certified expression compiler (Coq)
Verilog
1
star
36

ledger-vim

Feature-free vim plugin for ledger files
Vim Script
1
star
37

anamovie

Create anaglyph movies from stereomovies
C
1
star
38

dictpress

Preprocess wordlists before compression
C
1
star
39

trees

Even-odd trees from plain lists, structurally:
Haskell
1
star
40

ofca

OFCA Free Command Analyzer
C++
1
star
41

leveler

HDR to LDR leveler
C++
1
star
42

pastemath

A math pastebin (pastemath.functor.sk)
JavaScript
1
star