Skip to content
@idris-hackers

Idris Hackers

Popular repositories Loading

  1. software-foundations software-foundations Public

    Software Foundations in Idris

    Idris 453 34

  2. idris-mode idris-mode Public

    Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

    Emacs Lisp 270 72

  3. idris-vim idris-vim Public

    Idris mode for vim

    Vim Script 221 52

  4. idris-demos idris-demos Public

    Collection of Idris tests and demonstration programs

    Idris 190 13

  5. idris-koans 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 co…

    Idris 178 26

  6. idris-crypto idris-crypto Public

    Implementation of cryptographic primitives using Idris

    Idris 121 13

Repositories

Showing 10 of 29 repositories
  • atom-language-idris Public

    A Idris Mode for Atom.io

    idris-hackers/atom-language-idris’s past year of commit activity
    TypeScript 101 MIT 22 50 (2 issues need help) 8 Updated Jul 23, 2024
  • idris-mode Public

    Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

    idris-hackers/idris-mode’s past year of commit activity
    Emacs Lisp 270 GPL-3.0 72 54 5 Updated Jul 17, 2024
  • idris-sublime Public

    A Plugin to use Idris with Sublime

    idris-hackers/idris-sublime’s past year of commit activity
    Python 27 MIT 12 5 0 Updated Dec 30, 2020
  • idris-vim Public

    Idris mode for vim

    idris-hackers/idris-vim’s past year of commit activity
    Vim Script 221 52 34 3 Updated Aug 31, 2020
  • idris-array Public

    primitive flat arrays containing Idris values

    idris-hackers/idris-array’s past year of commit activity
    Idris 6 BSD-3-Clause 5 1 1 Updated Mar 14, 2020
  • software-foundations Public

    Software Foundations in Idris

    idris-hackers/software-foundations’s past year of commit activity
    Idris 453 MIT 34 13 (7 issues need help) 2 Updated May 15, 2019
  • idris-posix Public

    System POSIX bindings for Idris.

    idris-hackers/idris-posix’s past year of commit activity
    Idris 36 8 0 2 Updated Jan 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-hackers/idris-algebra’s past year of commit activity
    Idris 18 9 1 1 Updated Dec 24, 2018
  • IdrisScript Public

    FFI Bindings to interact with the unsafe world of JavaScript

    idris-hackers/IdrisScript’s past year of commit activity
    Idris 92 BSD-2-Clause 11 0 3 Updated Oct 7, 2018
  • travis-build Public Forked from travis-ci/travis-build

    .travis.yml => build.sh converter

    idris-hackers/travis-build’s past year of commit activity
    Ruby 1 MIT 479 0 0 Updated Sep 28, 2018
View all repositories

Top languages

Loading…

Most used topics

Loading…