There are no reviews yet. Be the first to send feedback to the community and the maintainers!
lightyear
Parser combinators for Idrisidris-py
Python backend for Idris (generates Python source, not bytecode).rarcrack
[unofficial fork] RAR bruteforce crackerpmtu
Path MTU discovery toolitt-idris
ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2idris-ocaml
OCaml back end for Idrisbibdris
BibTeX database management in Idrisidris-data-frame
Data frames for Idris 2ttstar
Dependently typed core calculus with erasureitt
Tiny dependent calculus with inference of irrelevance and erasuretext
Text framework for Idrisidris-benchmarks
Some benchmarks for Idrisidris2-mlf
Malfunction backend for Idris 2idris-bytes
FFI-based byte buffers for Idriskeychain-bruteforce
Bruteforce master passwords of the MAC OS X password manager.idris-scheme
Scheme codegen for Idrisscan-eSCL
Scan from eSCL-compatible scannersdeconvolution
A deconvolution algorithmmeshub
A lightweight mesh VPNsimple-prolog
A simple Prolog implementation in Haskellmacro-pp
Universal macro preprocessorwireplay
[MIRROR] A minimalist approach to replay pcap-dumped TCP sessions.idris2-perf
Various benchmarkshackup
Backup system written in Haskellglobusator
Globe stripe generatorhilite
Terminal output highlighterbuslittles
Watch subtitles on laptop while film is playing on TVqanachem
Anaglyph Chemistrystacker
Astrophotography stackerlamtc
Simple Prolog type checkerwlist
iw scan parserjpg-recover
Recover JPEG/CR2 files from raw bytes.idris-ttstar
TTstar backend for Idrisexcomp
A certified compiler of exceptions from my thesis (Agda)ecomp
A simple certified expression compiler (Coq)ledger-vim
Feature-free vim plugin for ledger filesanamovie
Create anaglyph movies from stereomoviesdictpress
Preprocess wordlists before compressiontrees
Even-odd trees from plain lists, structurally:ofca
OFCA Free Command Analyzerleveler
HDR to LDR levelerpastemath
A math pastebin (pastemath.functor.sk)Love Open Source and this site? Check out how you can help us