idris2

There are 7 repositories under idris2 topic.

• bamboo / idris2dart

  The Dart backend for Idris 2.

  dartflutteridris2idrisidris2-ecosystem
  Language:Idris 47

• claymager / idris2-pkgs

  An unofficial Idris2 package repository for Nix

  idris2nix
  Language:Nix 45

• Z-snails / Idris2-Grin

  GRIN backend for Idris2

  idris2grin
  Language:Idris 31

• pufferffish / idris2-tls

  A portable idris2 implementation of TLS

  idris2tls13tlsidris2-ecosystemcryptography
  Language:Idris 30

• anoma / geb

  A Categorical View of Computation

  categorycategory-theorycommon-lispidris2lisp
  Language:Idris 28

• Russoul / Idris2-Lua

  Lua backend for Idris 2

  luaidris2idrisbackend
  Language:Idris 27

• MarcelineVQ / idris2-curl

  libcurl bindings for idris2

  idris2idris-ecosystemidris2-ecosystemnetworkbindingbindingscurlliblibraryidris
  Language:Idris 14

• MarcelineVQ / idris2-streaming

  Effectful Streaming for Idris

  idris2idris-ecosystemidris2-ecosystemstreamingeffectsbytesbitsnetworkidrisstreamsliblibrary
  Language:Idris 14

• jfdm / velo-lang

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

  dependent-typesidris2
  Language:Idris 12

• joshuanianji / idris-2-docker

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

  devcontainerdockeridris2
  Language:Dockerfile 12

• MarcelineVQ / idris2-elab-deriving

  implementation deriving for idris2

  idris2idris-ecosystemidris2-ecosystemderivingreflectionelaborationnewtypesinterfaceimplementationelabliblibraryidris
  Language:Idris 11
• BiSH

  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!

  idrisidris2static-site-generator
  Language:Idris 11

• running-grass / idris2-tutorial-zh

  通过weblate翻译idris2教程

  chinesedocumentidrisidris2tutorial
  Language:Idris 9

• MarcelineVQ / idris2-sarray

  Immutable Size Indexed Arrays

  librarylibidris2idris2-ecosystemidris-ecosystemarrayvectorimmutablesizesized
  Language:Idris 8

• Alex1005a / Idris2-HVM

  HVM backend for Idris 2 (lazy)

  hvmidris2
  Language:Idris 7

• dunhamsteve / 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

  idris2
  Language:Idris 7

• MarcelineVQ / idris2-bytes

  ByteStrings for Idris2!

  idris2idris-ecosystemidris2-ecosystembytesbytestringliblibraryidris
  Language:Idris 7

• stoand / kakoune-idris

  Idris 2 IDE Protocol Integration for Kakoune

  kakounepluginidrisidris2
  Language:JavaScript 7

• MarcelineVQ / idris2-newtype-deriving

  Newtype, Generic Interface Deriving

  newtypeliblibraryidris2idris2-ecosystemidrisgenericsderivingnumidris-ecosystem
  Language:Idris 6

• dgellow / idris-docker-image

  Dockerfile and images for idris and idris2

  dockerdocker-imagedockerfileidrisidris2
  Language:Dockerfile 5

• kiana-S / numidr

  Mirror of https://git.tokinanpa.dev/toki/numidr

  idris2linear-algebraidris2-ecosystem
  Language:Idris 5

• CAIMEOX / BedrockFP

  Functional API wrapper for Minecraft bedrock script api (But Idris)

  gametest-minecraftminecraft-bedrockgametestidris2minecraftscript-api
  Language:Idris 4

• alissa-tung / readline

  Unusable Idris2 binding of Isocline.

  idris2readline
  Language:Idris 3

• running-grass / idris2-markdown

  markdown parse for idris2

  idris2markdown
  Language:Idris 3

• willclarktech / idris-ml

  Learning repo using Idris2 for ML

  dependent-typesidris2neural-networks
  Language:Idris 3

• AlgebraicWolf / idris2-russel

  Implementation of Russel paradox in Idris 2

  idris2type-theorymathematical-logicdependent-types
  Language:Idris 2

• alissa-tung / eff

  Unusable Resource-dependent algebraic effects library in Idris 2.

  idris2algebraic-effectsdependent-types
  Language:Idris 2

• bamboo / idris2-dash-docset

  Dash docset for Idris 2 libraries

  idris2idris2-ecosystemdashdocset
  Language:Makefile 2

• ccfontes / faas-idris2

  An OpenFaaS template for writing Functions in Idris 2.

  idrisidris2nodeopenfaaspack
  Language:Dockerfile 2

• gemmaro / idris2-tutorial

  Japanese translation of "Functional Programming in Idris 2"

  idris2japanesetutorial
  Language:Idris 2

• LibreCybernetics / veribase-idr2

  Veribase Idris2 [MIRROR]

  idrisidris2
  Language:Idris 2

• 0xd34df00d / idris2-indexed-vect

  Indexed vectors for Idris!

  dependent-typesidrisidris2
  Language:Idris 1

• Archaversine / P5Idr

  p5.js Bindings for Idris using JS Backend (WIP)

  creative-codingidris2p5js
  Language:Idris 1

• kiana-S / idris2-lens

  Mirror of https://git.tokinanpa.dev/toki/idris2-lens

  idris2idris2-ecosystemlenses
  Language:Idris 1

• Matthew-Mosior / Advent-of-Code-2016

  advent-of-codeadvent-of-code-2016idris2
  Language:Idris 1

• Russoul / Nova

  A programming language based on extensional Martin Lof Type Theory

  dependent-type-theorydependent-typesfunctional-programminglogicprogramming-languagetype-theoryidrisidris2
  Language:Idris 1