Pinned Repositories
Idris2
A purely functional programming language with first class types
idris2-async
Small async library for idris2, inspired by purescript-aff
Idris2-Grin
GRIN backend for Idris2
Idris2-hashable
Interface for types that can be hashed.
idris2-hashmap
Hash-array map tries in Idris2
Idris2jl
Julia backend for Idris 2
multiplate-idr
Multiplates for Idris 2
prettier
Bernardy style pretty-printer
uniplate-idr
Traverse and manipulate without the boilerplate
Z-snails's Repositories
Z-snails/Idris2-Grin
GRIN backend for Idris2
Z-snails/idris2-async
Small async library for idris2, inspired by purescript-aff
Z-snails/Idris2-hashable
Interface for types that can be hashed.
Z-snails/idris2-hashmap
Hash-array map tries in Idris2
Z-snails/Idris2jl
Julia backend for Idris 2
Z-snails/prettier
Bernardy style pretty-printer
Z-snails/multiplate-idr
Multiplates for Idris 2
Z-snails/uniplate-idr
Traverse and manipulate without the boilerplate
Z-snails/Yaffle
A core language and API for dependently typed languages
Z-snails/authjs-email-error
Z-snails/gluey
A super simple sticky notes app built in rust with GTK.
Z-snails/grin
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Z-snails/HVM
A massively parallel, optimal functional runtime in Rust
Z-snails/Idris2
A purely functional programming language with first class types
Z-snails/idris2-elab-util
Utilities and documentation for exploring idirs2's new elaborator reflection.
Z-snails/idris2-lsp
Language Server for Idris2
Z-snails/idris2-pack
Z-snails/idris2-pack-db
Z-snails/inigo
Inigo: A Package Manager for Idris2
Z-snails/lalrpop
LR(1) parser generator for Rust
Z-snails/lapce
Lightning-fast and Powerful Code Editor written in Rust
Z-snails/libc
Raw bindings to platform APIs for Rust
Z-snails/park_bench
Making benchmarking a walk in the park - A small benchmarking utility for idris2
Z-snails/sap
Idris2 (s)imple (a)rgument (p)arser
Z-snails/sirdi
Package manager for Idris
Z-snails/string-builder
Efficient string builders for idris 2
Z-snails/tester-idr
Small testing framework for Idris 2
Z-snails/toml-idr
A TOML parser for Idris 2
Z-snails/videocall-rs
teleconference system written in rust
Z-snails/Z-snails.github.io