ziman/idris-ocaml ziman/idris-ocaml

  • Stars
    star
    22
  • Rank 1,048,934 (Top 21 %)
  • Language
    Haskell
  • License
    Other
  • Created over 8 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ziman/idris-ocaml
github

ziman

Reviews

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

Repository Details

OCaml back end 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

bibdris

BibTeX database management in Idris
Idris
18
star
7

idris-data-frame

Data frames for Idris 2
Idris
18
star
8

ttstar

Dependently typed core calculus with erasure
Idris
17
star
9

itt

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

text

Text framework for Idris
Idris
13
star
11

idris-benchmarks

Some benchmarks for Idris
Idris
11
star
12

idris2-mlf

Malfunction backend for Idris 2
Idris
11
star
13

idris-bytes

FFI-based byte buffers for Idris
Idris
11
star
14

keychain-bruteforce

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

idris-scheme

Scheme codegen for Idris
Haskell
6
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