Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by ziman

A curated list of projects in awesome lists by ziman .

https://github.com/ziman/lightyear

Parser combinators for Idris

Last synced: 15 Oct 2024

https://github.com/ziman/idris-py

Python backend for Idris (generates Python source, not bytecode).

Last synced: 15 Oct 2024

https://github.com/ziman/rarcrack

[unofficial fork] RAR bruteforce cracker

Last synced: 08 Nov 2024

https://github.com/ziman/pmtu

Path MTU discovery tool

Last synced: 08 Nov 2024

https://github.com/ziman/itt-idris

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

Last synced: 15 Oct 2024

https://github.com/ziman/idris-ocaml

OCaml back end for Idris

Last synced: 15 Oct 2024

https://github.com/ziman/bibdris

BibTeX database management in Idris

Last synced: 15 Oct 2024

https://github.com/ziman/ttstar

Dependently typed core calculus with erasure

dependent-types erasure functional-programming type-system typechecker

Last synced: 15 Oct 2024

https://github.com/ziman/idris-data-frame

Data frames for Idris 2

Last synced: 15 Oct 2024

https://github.com/ziman/itt

Tiny dependent calculus with inference of irrelevance and erasure

Last synced: 15 Oct 2024

https://github.com/ziman/text

Text framework for Idris

Last synced: 15 Oct 2024

https://github.com/ziman/idris-benchmarks

Some benchmarks for Idris

Last synced: 15 Oct 2024

https://github.com/ziman/idris2-mlf

Malfunction backend for Idris 2

Last synced: 15 Oct 2024

https://github.com/ziman/idris-bytes

FFI-based byte buffers for Idris

Last synced: 15 Oct 2024

https://github.com/ziman/keychain-bruteforce

Bruteforce master passwords of the MAC OS X password manager.

Last synced: 15 Oct 2024

https://github.com/ziman/idris-scheme

Scheme codegen for Idris

Last synced: 15 Oct 2024

https://github.com/ziman/meshub

A lightweight mesh VPN

Last synced: 15 Oct 2024

https://github.com/ziman/scan-escl

Scan from eSCL-compatible scanners

Last synced: 15 Oct 2024

https://github.com/ziman/deconvolution

A deconvolution algorithm

Last synced: 15 Oct 2024

https://github.com/ziman/macro-pp

Universal macro preprocessor

Last synced: 15 Oct 2024

https://github.com/ziman/simple-prolog

A simple Prolog implementation in Haskell

Last synced: 15 Oct 2024

https://github.com/ziman/ever-to-excel

Compile a Scheme-like language into a spreadsheet

Last synced: 15 Oct 2024

https://github.com/ziman/globusator

Globe stripe generator

Last synced: 15 Oct 2024

https://github.com/ziman/idris2-perf

Various benchmarks

Last synced: 15 Oct 2024

https://github.com/ziman/wireplay

[MIRROR] A minimalist approach to replay pcap-dumped TCP sessions.

Last synced: 15 Oct 2024

https://github.com/ziman/hackup

Backup system written in Haskell

Last synced: 15 Oct 2024

https://github.com/ziman/qanachem

Anaglyph Chemistry

Last synced: 15 Oct 2024

https://github.com/ziman/wlist

iw scan parser

Last synced: 15 Oct 2024

https://github.com/ziman/trees

Even-odd trees from plain lists, structurally:

Last synced: 15 Oct 2024

https://github.com/ziman/pastemath

A math pastebin (pastemath.functor.sk)

Last synced: 15 Oct 2024

https://github.com/ziman/excomp

A certified compiler of exceptions from my thesis (Agda)

Last synced: 15 Oct 2024

https://github.com/ziman/ledger-vim

Feature-free vim plugin for ledger files

Last synced: 15 Oct 2024

https://github.com/ziman/stacker

Astrophotography stacker

Last synced: 15 Oct 2024

https://github.com/ziman/idris-ttstar

TTstar backend for Idris

Last synced: 15 Oct 2024

https://github.com/ziman/jpg-recover

Recover JPEG/CR2 files from raw bytes.

Last synced: 15 Oct 2024

https://github.com/ziman/buslittles

Watch subtitles on laptop while film is playing on TV

Last synced: 15 Oct 2024

https://github.com/ziman/anamovie

Create anaglyph movies from stereomovies

Last synced: 15 Oct 2024

https://github.com/ziman/ofca

OFCA Free Command Analyzer

Last synced: 15 Oct 2024

https://github.com/ziman/leveler

HDR to LDR leveler

Last synced: 15 Oct 2024

https://github.com/ziman/ecomp

A simple certified expression compiler (Coq)

Last synced: 15 Oct 2024

https://github.com/ziman/dictpress

Preprocess wordlists before compression

Last synced: 15 Oct 2024

https://github.com/ziman/hilite

Terminal output highlighter

Last synced: 15 Oct 2024

https://github.com/ziman/lamtc

Simple Prolog type checker

Last synced: 15 Oct 2024

https://github.com/ziman/dosbox

A mirror of the DosBox SVN repository, including some patches of mine

Last synced: 15 Oct 2024

https://github.com/ziman/scrabble

Browser-based Scrabble

Last synced: 15 Oct 2024

https://github.com/ziman/ttstar-vim

Vim mode for TTstar

Last synced: 15 Oct 2024

https://github.com/ziman/blodwen

Last synced: 15 Oct 2024

https://github.com/ziman/baltrad-merge

Convert raw Baltrad data to bird profiles

Last synced: 15 Oct 2024

https://github.com/ziman/agda-stuff

An assortment of small Agda developments

Last synced: 15 Oct 2024

https://github.com/ziman/apes

Conversion from flat data to adjacency list

Last synced: 15 Oct 2024

https://github.com/ziman/spellcross

Spellcross data files unpackers

Last synced: 15 Oct 2024

https://github.com/ziman/vol2build

Build scripts for vol2bird

Last synced: 15 Oct 2024

https://github.com/ziman/diffcat

Write images, skipping identical blocks

Last synced: 15 Oct 2024

https://github.com/ziman/mgr-thesis

LaTeX sources of my thesis

Last synced: 15 Oct 2024

https://github.com/ziman/party

Leet time monitor

Last synced: 15 Oct 2024

https://github.com/ziman/ws-game

Library for WebSocket/browser-based game backends

Last synced: 15 Oct 2024

https://github.com/ziman/nests

Play live streams from nests

bird-nest live-streaming m3u

Last synced: 15 Oct 2024

https://github.com/ziman/kybvid19

covid19 extrapolation for kyberia.sk

Last synced: 15 Oct 2024

https://github.com/ziman/osmstitch

Stitch raster maps from OSM tiles

Last synced: 15 Oct 2024

https://github.com/ziman/wgmesh

Update wireguard endpoints automatically

Last synced: 15 Oct 2024

https://github.com/ziman/pingme

An e-mail reminder service.

Last synced: 15 Oct 2024

https://github.com/ziman/pixit

Browser-based drawing game

Last synced: 15 Oct 2024

https://github.com/ziman/postbox

Write-only HTTP POST file storage

Last synced: 15 Oct 2024

https://github.com/ziman/rave

Last synced: 15 Oct 2024