idris-hackers/idris-array idris-hackers/idris-array

  • Stars
    star
    6
  • Rank 2,539,572 (Top 51 %)
  • Language Idris
  • License
    BSD 3-Clause "New...
  • Created over 8 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
idris-hackers/idris-array
github

idris-hackers

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

primitive flat arrays containing Idris values

More Repositories

1

software-foundations

Software Foundations in Idris
Idris
453
star
2

idris-mode

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

idris-vim

Idris mode for vim
Vim Script
223
star
4

idris-demos

Collection of Idris tests and demonstration programs
Idris
189
star
5

idris-koans

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
172
star
6

idris-crypto

Implementation of cryptographic primitives using Idris
Idris
120
star
7

IdrisWeb

A secure web framework, built in the Idris language.
TeX
108
star
8

atom-language-idris

A Idris Mode for Atom.io
TypeScript
99
star
9

IdrisScript

FFI Bindings to interact with the unsafe world of JavaScript
Idris
88
star
10

idris-llvm

Idris LLVM codegen factored out
Haskell
77
star
11

idris-java

Java Code Generator for Idris
Haskell
71
star
12

iQuery

Idris Lib to interact with the DOM and Browser API for the JavaScript backend
Idris
40
star
13

idris-posix

System POSIX bindings for Idris.
Idris
34
star
14

idrispkgs

Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
Nix
28
star
15

idris-sublime

A Plugin to use Idris with Sublime
Python
27
star
16

idris-free

Free Monads and useful constructions to work with them
Idris
25
star
17

eff-tutorial

An old tutorial for using `Effects` in Idris.
TeX
24
star
18

idris-cph-exercises

Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
Idris
23
star
19

idris-lens

Idris
22
star
20

idris-algebra

This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
Idris
18
star
21

usb

libusb binding for idris and Effectful USB programming
C
11
star
22

idris-bot

An IRC bot connected to an Idris REPL
Haskell
10
star
23

idris-java-rts

Java Runtime System for the Idris Programming Language
Java
10
star
24

idris-extras

Various minor modes for editors and some tool support.
TeX
6
star
25

idris-time

A dependently-typed implementation of ISO 8601.
3
star