Skip to content

@idris-hackers Idris Hackers

Change the repository type filter

All

    Repositories list

    29 repositories

    • atom-language-idris

      Public
      A Idris Mode for Atom.io
      TypeScript
      •
      MIT License
      •24•100•50•8•Updated Jul 23, 2024Jul 23, 2024

    • idris-mode

      Public
      Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
      Emacs Lisp
      •
      GNU General Public License v3.0
      •71•269•54•5•Updated Jul 17, 2024Jul 17, 2024

    • idris-sublime

      Public
      A Plugin to use Idris with Sublime
      Python
      •
      MIT License
      •12•27•5•0•Updated Dec 30, 2020Dec 30, 2020

    • idris-vim

      Public
      Idris mode for vim
      Vim Script
      •52•220•34•3•Updated Aug 31, 2020Aug 31, 2020

    • idris-array

      Public
      primitive flat arrays containing Idris values
      Idris
      •
      BSD 3-Clause "New" or "Revised" License
      •5•6•1•1•Updated Mar 14, 2020Mar 14, 2020

    • software-foundations

      Public
      Software Foundations in Idris
      computer-sciencebooktheorem-provingidris
      Idris
      •
      MIT License
      •34•452•13•2•Updated May 15, 2019May 15, 2019

    • idris-posix

      Public
      System POSIX bindings for Idris.
      Idris
      •8•35•0•2•Updated Jan 5, 2019Jan 5, 2019

    • idris-algebra

      Public
      This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
      Idris
      •
      Other
      •9•18•1•1•Updated Dec 24, 2018Dec 24, 2018

    • IdrisScript

      Public
      FFI Bindings to interact with the unsafe world of JavaScript
      Idris
      •
      BSD 2-Clause "Simplified" License
      •11•92•0•3•Updated Oct 7, 2018Oct 7, 2018

    • travis-build

      Public
      .travis.yml => build.sh converter
      Ruby
      •
      MIT License
      •437•1•0•0•Updated Sep 28, 2018Sep 28, 2018

    • idris-free

      Public
      Free Monads and useful constructions to work with them
      Idris
      •
      BSD 2-Clause "Simplified" License
      •10•26•2•3•Updated Aug 14, 2018Aug 14, 2018

    • idris-crypto

      Public
      Implementation of cryptographic primitives using Idris
      Idris
      •
      BSD 3-Clause "New" or "Revised" License
      •13•121•3•0•Updated May 5, 2018May 5, 2018

    • idris-koans

      Public
      Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.
      Idris
      •
      BSD 3-Clause "New" or "Revised" License
      •26•179•1•0•Updated May 2, 2018May 2, 2018

    • idris-demos

      Public
      Collection of Idris tests and demonstration programs
      Idris
      •
      Other
      •13•190•4•0•Updated Apr 23, 2018Apr 23, 2018

    • iQuery

      Public
      Idris Lib to interact with the DOM and Browser API for the JavaScript backend
      Idris
      •11•40•1•2•Updated Jan 15, 2018Jan 15, 2018

    • idris-llvm

      Public
      Idris LLVM codegen factored out
      Haskell
      •
      Other
      •13•78•1•0•Updated Jul 28, 2017Jul 28, 2017

    • idris-extras

      Public
      Various minor modes for editors and some tool support.
      TeX
      •4•6•0•0•Updated Nov 25, 2016Nov 25, 2016

    • idris-lens

      Public
      Idris
      •
      Other
      •5•22•2•2•Updated Sep 30, 2016Sep 30, 2016

    • idris-challenges

      Public
      A repository containing interesting challenges to be solved in the Idris programming language
      0•1•0•0•Updated Apr 26, 2016Apr 26, 2016

    • idris-java

      Public
      Java Code Generator for Idris
      Haskell
      •
      Other
      •9•71•3•2•Updated Feb 17, 2016Feb 17, 2016

    • idris-java-rts

      Public
      Java Runtime System for the Idris Programming Language
      Java
      •3•10•1•0•Updated Sep 11, 2015Sep 11, 2015

    • eff-tutorial

      Public
      An old tutorial for using `Effects` in Idris.
      TeX
      •5•24•3•0•Updated Sep 10, 2015Sep 10, 2015

    • idris-cph-exercises

      Public
      Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
      Idris
      •
      BSD 3-Clause "New" or "Revised" License
      •5•23•1•0•Updated Sep 10, 2015Sep 10, 2015

    • idrispkgs

      Public
      Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
      Nix
      •
      MIT License
      •4•28•3•0•Updated Sep 10, 2015Sep 10, 2015

    • idris-bot

      Public
      An IRC bot connected to an Idris REPL
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •3•10•1•0•Updated Sep 10, 2015Sep 10, 2015

    • idris-time

      Public
      A dependently-typed implementation of ISO 8601.
      0•3•0•0•Updated Feb 1, 2015Feb 1, 2015

    • IdrisWeb

      Public
      A secure web framework, built in the Idris language.
      TeX
      •
      MIT License
      •6•109•1•0•Updated Feb 3, 2014Feb 3, 2014

    • idris-hackers.github.io

      Public
      JavaScript
      •1•1•0•0•Updated Nov 29, 2013Nov 29, 2013

    • usb

      Public
      libusb binding for idris and Effectful USB programming
      C
      •
      BSD 2-Clause "Simplified" License
      •4•11•0•0•Updated Nov 22, 2013Nov 22, 2013