Awesome Open Source

Programming Languages

Search results for idris2

15 search results found

Idris2dart ⭐ 31

The Dart backend for Idris 2.

Idris2 Lua ⭐ 27

Lua backend for Idris 2

Inigo: A Package Manager for Idris2

Idris2 Pkgs ⭐ 25

An unofficial Idris2 package repository for Nix

Idris2 Tls ⭐ 24

A portable idris2 implementation of TLS

A Categorical View of Computation

Velo Lang ⭐ 10

Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.

Idris 2 Docker ⭐ 9

Multi-arch, multi-distro Docker images for Idris 2

Idris2 Curl ⭐ 9

libcurl bindings for idris2

Idris2 Elab Deriving ⭐ 9

implementation deriving for idris2

Idris2 Streaming ⭐ 7

Effectful Streaming for Idris

Idris2 Sarray ⭐ 7

Immutable Size Indexed Arrays

Idris Docker Image ⭐ 5

Dockerfile and images for idris and idris2

Kakoune Idris ⭐ 5

Idris 2 IDE Protocol Integration for Kakoune

Idris2 Bytes ⭐ 5

ByteStrings for Idris2!

Related Searches

Idris Idris2 (13)

1-15 of 15 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.