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 Haskellever-to-excel
Compile a Scheme-like language into a spreadsheetglobusator
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)anamovie
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