GitHub topics: idris2
Matthew-Mosior/streaming-benchmarks
Streaming benchmarks focused on Idris2 and Haskell
Language: Shell - Size: 16.6 KB - Last synced at: 10 days ago - Pushed at: 13 days ago - Stars: 0 - Forks: 1
running-grass/idris2-playground
idris 项目孵化场
Language: Idris - Size: 90.8 KB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
running-grass/idris2-markdown
markdown parse for idris2
Language: Idris - Size: 30.3 KB - Last synced at: 1 day ago - Pushed at: almost 3 years ago - Stars: 4 - Forks: 0
Matthew-Mosior/idris2-systemd
A systemd library in Idris2
Language: Idris - Size: 23.4 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
tokinanpa/idris2-lens
Mirror of https://git.tokinanpa.dev/toki/idris2-lens
Language: Idris - Size: 106 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 1
gemmaro/idris2-tutorial Fork of stefan-hoeck/idris2-tutorial
Japanese translation of "Functional Programming in Idris 2"
Language: Idris - Size: 2.8 MB - Last synced at: 8 days ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 0
gemmaro/idris2-charprop
Character properties defined by the Unicode and XML standard.
Language: Idris - Size: 102 KB - Last synced at: 8 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
Z-snails/Idris2-Grin
GRIN backend for Idris2
Language: Idris - Size: 213 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 34 - Forks: 3
jfdm/velo-lang
Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
Language: Idris - Size: 1.08 MB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 16 - Forks: 2
running-grass/idris2-tutorial-zh Fork of stefan-hoeck/idris2-tutorial
通过weblate翻译idris2教程
Language: Idris - Size: 1.61 MB - Last synced at: 1 day ago - Pushed at: 7 months ago - Stars: 12 - Forks: 2
AugustUnderground/AoC2024
Advent of Code 2024
Language: Idris - Size: 183 KB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0
running-grass/awesome-idris
Size: 11.4 MB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 3
joshuanianji/idris-2-docker
Multi-arch, multi-distro Docker images for Idris 2
Language: Dockerfile - Size: 386 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 13 - Forks: 2
PraneethJain/Advent-of-Code-2024
Advent of Code solutions for 2024
Language: Idris - Size: 15.6 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
willclarktech/idris-ml
Learning repo using Idris2 for ML
Language: Idris - Size: 85 KB - Last synced at: 2 months ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0
bamboo/idris2dart
The Dart backend for Idris 2.
Language: Idris - Size: 396 KB - Last synced at: 29 days ago - Pushed at: almost 4 years ago - Stars: 50 - Forks: 5
idris-community/idris2-tls
A portable idris2 implementation of TLS
Language: Idris - Size: 256 KB - Last synced at: 3 months ago - Pushed at: 6 months ago - Stars: 32 - Forks: 7
claymager/idris2-pkgs
An unofficial Idris2 package repository for Nix
Language: Nix - Size: 236 KB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 46 - Forks: 13
victoredwardocallaghan/idris2-rtlsdr
Idris2 package that provides low level bindings to rtlsdr
Language: Idris - Size: 48.8 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 2
Russoul/Nova
A programming language based on extensional Martin Lof Type Theory
Language: Idris - Size: 377 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0
tokinanpa/idris2-profunctors
Mirror of https://git.tokinanpa.dev/toki/idris2-profunctors
Language: Idris - Size: 78.1 KB - Last synced at: 3 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
tokinanpa/numidr
Mirror of https://git.tokinanpa.dev/toki/numidr
Language: Idris - Size: 268 KB - Last synced at: 3 months ago - Pushed at: 10 months ago - Stars: 5 - Forks: 0
anoma/geb
A Categorical View of Computation
Language: Idris - Size: 8.39 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 27 - Forks: 9
Archaversine/P5Idr
p5.js Bindings for Idris using JS Backend (WIP)
Language: Idris - Size: 25.4 KB - Last synced at: 12 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
Matthew-Mosior/idris2-elynx-seq
Idris (Idris2) port of the Haskell elynx-seq library.
Language: Idris - Size: 3.91 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
Matthew-Mosior/idris2-biocore
Idris (Idris2) port of the Haskell biocore library.
Language: Idris - Size: 9.77 KB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
Matthew-Mosior/idris2-biofasta
Idris (Idris2) port of the Haskell biofasta library.
Language: Idris - Size: 13.7 KB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
Matthew-Mosior/Advent-of-Code-2016
Language: Idris - Size: 24.4 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
alissa-tung/eff 📦
Unusable Resource-dependent algebraic effects library in Idris 2.
Language: Idris - Size: 10.7 KB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 1
stoand/kakoune-idris
Idris 2 IDE Protocol Integration for Kakoune
Language: JavaScript - Size: 43.9 KB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 7 - Forks: 4
lambda-mike/aoc
My solutions to Advent Of Code puzzles
Language: Haskell - Size: 519 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
Miezhiko/BiSH
Idris 2 static web blog generator. More like proof of concept, everything could change, not sure if I will put more time into that but generally I'd keep this alive!
Language: Idris - Size: 41 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 11 - Forks: 0
Alex1005a/Idris2-HVM
HVM backend for Idris 2 (lazy)
Language: Idris - Size: 7.81 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 1
CAIMEOX/BedrockFP
Functional API wrapper for Minecraft bedrock script api (But Idris)
Language: Idris - Size: 102 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0
kiana-S/idris2-render
General-purpose rendering library for Idris2
Language: Idris - Size: 11.7 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
AlgebraicWolf/idris2-russel
Implementation of Russel paradox in Idris 2
Language: Idris - Size: 20.5 KB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0
0xd34df00d/idris2-indexed-vect
Indexed vectors for Idris!
Language: Idris - Size: 28.3 KB - Last synced at: 7 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
ccfontes/faas-idris2
An OpenFaaS template for writing Functions in Idris 2.
Language: Dockerfile - Size: 41 KB - Last synced at: 3 days ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0
running-grass/learn-idris2
I try develop web application by idris2;
Language: JavaScript - Size: 49.8 KB - Last synced at: 1 day ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
alissa-tung/readline 📦
Unusable Idris2 binding of Isocline.
Language: Idris - Size: 14.6 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0
Russoul/Idris2-Lua
Lua backend for Idris 2
Language: Idris - Size: 211 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 26 - Forks: 1
MarcelineVQ/idris2-curl
libcurl bindings for idris2
Language: Idris - Size: 150 KB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 14 - Forks: 1
MarcelineVQ/idris2-sarray
Immutable Size Indexed Arrays
Language: Idris - Size: 23.4 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 0
ErnWong/advent-of-code-2022
Language: Idris - Size: 180 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
bamboo/idris2-dash-docset
Dash docset for Idris 2 libraries
Language: Makefile - Size: 558 KB - Last synced at: about 1 month ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0
running-grass/idris2-url
A URL library for idris2, Based on RFC 1738.
Language: Idris - Size: 13.7 KB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
MarcelineVQ/idris2-newtype-deriving
Newtype, Generic Interface Deriving
Language: Idris - Size: 9.77 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 0
running-grass/Idris2-zh Fork of idris-lang/Idris2
Idris2的镜像仓库，只做中文翻译使用
Language: Idris - Size: 26.2 MB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1
skykanin/effects
An effects system based on freer monads in Idris
Language: Idris - Size: 22.5 KB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
dunhamsteve/SPLV20 Fork of edwinb/SPLV20
edwinb's SPLV20 course notes, updated to run on current Idris2. (The updates build on work by @gallais.) The corresponding lectures are at https://www.youtube.com/playlist?list=PLmYPUe8PWHKqBRJfwBr4qga7WIs7r60Ql
Language: Idris - Size: 686 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0
namanhd/idris2-proj
insertion sort and bubble sort implementations carrying proofs of correctness
Language: Idris - Size: 24.4 KB - Last synced at: 5 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
MarcelineVQ/idris2-managed
Automatic resource management for a common use-pattern.
Language: Idris - Size: 16.6 KB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
nanikamado/generalized-bind
I came up with a new idea for composing monads, but it turned out that it can not be used for composing multiple non-Traversable monads.
Language: Idris - Size: 3.91 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
bkomuves/idris-experiments
Experiments with dependently-typed programming in Idris2
Language: Idris - Size: 41 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
gwerbin/idris2-float-utils
FFI-backed floating point utilities for Idris 2.
Language: Idris - Size: 11.7 KB - Last synced at: 8 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
MarcelineVQ/idris2-bytes
ByteStrings for Idris2!
Language: Idris - Size: 108 KB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 0
MarcelineVQ/idris2-elab-deriving
implementation deriving for idris2
Language: Idris - Size: 180 KB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 11 - Forks: 1
MarcelineVQ/idris2-streaming
Effectful Streaming for Idris
Language: Idris - Size: 111 KB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 14 - Forks: 0
LibreCybernetics/veribase-idr2
Veribase Idris2 [MIRROR]
Language: Idris - Size: 134 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 1
Kaiepi/id-sixel
Idris 2 libsixel bindings
Language: Idris - Size: 5.54 MB - Last synced at: 24 days ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
dgellow/idris-docker-image
Dockerfile and images for idris and idris2
Language: Dockerfile - Size: 12.7 KB - Last synced at: 1 day ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 1
bamboo/wm2020-hackathon-idris-click
A metronome app written in Idris 2
Language: JavaScript - Size: 53 MB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0