Skip to content

@idris-hackers Idris Hackers

All

    Repositories list

    29 repositories

    • idris-mode

      Public
      Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
      Emacs Lisp
      •
      GNU General Public License v3.0
      •73•276•57•7•Updated May 6, 2026May 6, 2026

    • atom-language-idris

      Public
      A Idris Mode for Atom.io
      TypeScript
      •
      MIT License
      •23•101•50•8•Updated Jul 23, 2024Jul 23, 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
      •53•222•33•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-proving
      computer-sciencebooktheorem-provingidris
      Idris
      •
      MIT License
      •36•459•13•2•Updated May 15, 2019May 15, 2019

    • idris-posix

      Public
      System POSIX bindings for Idris.
      Idris
      •8•36•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•19•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•94•0•3•Updated Oct 7, 2018Oct 7, 2018

    • travis-build

      Public
      .travis.yml => build.sh converter
      Ruby
      •
      MIT License
      •422•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•122•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 …
      Idris
      •
      BSD 3-Clause "New" or "Revised" License
      •26•182•1•0•Updated May 2, 2018May 2, 2018

    • idris-demos

      Public
      Collection of Idris tests and demonstration programs
      Idris
      •
      Other
      •13•195•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•81•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
      •7•72•3•1•Updated Feb 17, 2016Feb 17, 2016

    • idris-java-rts

      Public
      Java Runtime System for the Idris Programming Language
      Java
      •4•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
      •7•110•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•12•0•0•Updated Nov 22, 2013Nov 22, 2013
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.