Skip to content
View Z-snails's full-sized avatar
15 followers · 8 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Starstruck

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Starstruck

Block or report Z-snails

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • prettier Public

    Bernardy style pretty-printer

    Idris 4 4 Other Updated Aug 9, 2024

  • videocall-rs Public

    Forked from security-union/videocall-rs

    teleconference system written in rust

    Rust MIT License Updated Jul 29, 2024

  • idris2-hashmap Public

    Hash-array map tries in Idris2

    Idris 7 3 BSD 3-Clause "New" or "Revised" License Updated Feb 26, 2024

  • Idris2 Public

    Forked from idris-lang/Idris2

    A purely functional programming language with first class types

    Idris Other Updated Jan 1, 2024

  • authjs-email-error Public

    TypeScript Updated Dec 22, 2023

  • Z-snails.github.io Public

    Idris Updated Jul 17, 2023

  • Idris2jl Public

    Julia backend for Idris 2

    Idris 4 Updated May 19, 2023

  • lapce Public

    Forked from lapce/lapce

    Lightning-fast and Powerful Code Editor written in Rust

    Rust Apache License 2.0 Updated Mar 7, 2023

  • idris2-pack Public

    Forked from stefan-hoeck/idris2-pack
    Idris BSD 3-Clause "New" or "Revised" License Updated Feb 12, 2023

  • multiplate-idr Public

    Multiplates for Idris 2

    Idris 1 MIT License Updated Jan 21, 2023

  • idris2-pack-db Public

    Forked from stefan-hoeck/idris2-pack-db
    BSD 3-Clause "New" or "Revised" License Updated Jan 20, 2023

  • string-builder Public

    Efficient string builders for idris 2

    Idris Updated Jan 3, 2023

  • park_bench Public

    Making benchmarking a walk in the park - A small benchmarking utility for idris2

    Idris Updated Dec 22, 2022

  • libc Public

    Forked from rust-lang/libc

    Raw bindings to platform APIs for Rust

    Rust Apache License 2.0 Updated Nov 26, 2022

  • uniplate-idr Public

    Traverse and manipulate without the boilerplate

    Idris 1 Other Updated Nov 12, 2022

  • Idris2-hashable Public

    Interface for types that can be hashed.

    Idris 9 2 BSD 3-Clause "New" or "Revised" License Updated Sep 22, 2022

  • idris2-elab-util Public

    Forked from stefan-hoeck/idris2-elab-util

    Utilities and documentation for exploring idirs2's new elaborator reflection.

    Idris BSD 2-Clause "Simplified" License Updated Aug 16, 2022

  • gluey Public

    A super simple sticky notes app built in rust with GTK.

    Rust MIT License Updated Jul 31, 2022

  • HVM Public

    Forked from HigherOrderCO/HVM

    A massively parallel, optimal functional runtime in Rust

    Rust MIT License Updated Jul 10, 2022

  • Idris2-Grin Public

    GRIN backend for Idris2

    grin idris2
    Idris 33 3 BSD 3-Clause "New" or "Revised" License Updated Jul 3, 2022

  • Yaffle Public

    Forked from edwinb/Yaffle

    A core language and API for dependently typed languages

    Idris 1 Updated Apr 22, 2022

  • toml-idr Public

    Forked from hydrolarus/toml-idr

    A TOML parser for Idris 2

    Idris Updated Apr 22, 2022

  • tester-idr Public

    Forked from hydrolarus/tester-idr

    Small testing framework for Idris 2

    Idris Updated Mar 17, 2022

  • sirdi Public

    Forked from eayus/sirdi

    Package manager for Idris

    Idris GNU General Public License v3.0 Updated Feb 11, 2022

  • grin Public

    Forked from grin-compiler/grin

    GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

    Haskell Updated Jan 15, 2022

  • idris2-lsp Public

    Forked from idris-community/idris2-lsp

    Language Server for Idris2

    Idris BSD 3-Clause "New" or "Revised" License Updated Jan 15, 2022

  • sap Public

    Forked from eayus/sap

    Idris2 (s)imple (a)rgument (p)arser

    Idris GNU General Public License v3.0 Updated Jan 1, 2022

  • inigo Public

    Forked from idris-community/inigo

    Inigo: A Package Manager for Idris2

    Idris MIT License Updated Dec 12, 2021

  • idris2-async Public

    Small async library for idris2, inspired by purescript-aff

    Idris 8 1 BSD 3-Clause "New" or "Revised" License Updated Nov 14, 2021

  • lalrpop Public

    Forked from lalrpop/lalrpop

    LR(1) parser generator for Rust

    Rust Apache License 2.0 Updated Oct 14, 2021