ziman/idris-scheme ziman/idris-scheme

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    Haskell
  • License
    Other
  • Created almost 7 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ziman/idris-scheme
github

ziman

Reviews

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

Repository Details

Scheme codegen 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

scan-eSCL

Scan from eSCL-compatible scanners
Python
4
star
17

deconvolution

A deconvolution algorithm
MATLAB
4
star
18

meshub

A lightweight mesh VPN
Python
3
star
19

simple-prolog

A simple Prolog implementation in Haskell
Haskell
3
star
20

macro-pp

Universal macro preprocessor
Haskell
3
star
21

wireplay

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

idris2-perf

Various benchmarks
Idris
2
star
23

hackup

Backup system written in Haskell
Haskell
2
star
24

ever-to-excel

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

globusator

Globe stripe generator
Perl
2
star
26

hilite

Terminal output highlighter
Perl
1
star
27

buslittles

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

qanachem

Anaglyph Chemistry
C++
1
star
29

stacker

Astrophotography stacker
C++
1
star
30

lamtc

Simple Prolog type checker
Prolog
1
star
31

wlist

iw scan parser
Haskell
1
star
32

jpg-recover

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

idris-ttstar

TTstar backend for Idris
Haskell
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