slaven-s Goto Github PK

arquillian.github.com

Arquillian website source (develop branch) and hosting (master branch). Baked with Awestruct.

atom-language-idris

A Idris Mode for Atom.io

azure-content

Repository containing the Articles on azure.microsoft.com Documentation Center

bower

A package manager for the web

camel

Mirror of Apache Camel

chapter1

eff-tutorial

An old tutorial for using `Effects` in Idris.

generator-gulp-webapp

A gulp.js generator for modern webapps

graphx

Former GraphX development repository. GraphX has been merged into Apache Spark; please submit pull requests there.

hapi

Server Framework for Node.js

idris-algebra

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

idris-bot

An IRC bot connected to an Idris REPL

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-crypto

Implementation of cryptographic primitives using Idris

idris-dev

A Dependently Typed Functional Programming Language

idris-extras

Various minor modes for editors and some tool support.

idris-java

Java Code Generator for Idris

idris-java-rts

Java Runtime System for the Idris Programming Language

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-llvm

Idris LLVM codegen factored out

idris-mode

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

idris-sublime

A Plugin to use Idris with Sublime

idris-vim

Idris mode for vim

idrispkgs

Nix expressions for Idris packaging.

idrisscript

FFI Bindings to interact with the unsafe world of JavaScript

iquery

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

julia

The Julia Language: A fresh approach to technical computing.

linux

Linux kernel source tree

list_of_recommender_systems

A List of Recommender Systems and Resources

mesos

Mirror of Apache Mesos