There are no reviews yet. Be the first to send feedback to the community and the maintainers!
idris-cil
A Common Intermediate Language backend for Idris 1unityscript
A JavaScript implementation based on the Boo programming language.IdrisUnityPlayground
Experiments in Idris / Unity integration.idris2dart
The Dart backend for Idris 2.idris2-lsp-vscode
Visual Studio Code integration for the Idris 2 language serverpurescript-electron
PureScript FFI bindings for the Electron API (This repository is no longer maintained)boojay
java backend for the boo programming languageBamboo.Prevalence
Prevalence engine for .net.purescript-electron-quickstart
Quick start for a purely PureScript based Electron projectmonolipse
Mono Development Tools for Eclipse including code highlighting and incremental compilation for boo, boojay and c#.idris-hamt
Idris Hash Array Mapped Trielivity4unity
Livity Public Repositoryidris-codegen-sexp
Idris Simplified Expressions backendclassloader-vis
The Gradle ClassLoader hierarchy visualization toolidris2-dash-docset
Dash docset for Idris 2 librariespurescript-playground
Playful PureScript Projectsidris-game-of-life
An implementation of Conway's Game Of Life in Idrismasakari
Metascript macro library for functional programming with moriclojure-retrofit-spike
A simple example on how to play with retrofit in a clojure project.aws-docker-gocd
An experiment in using gocd for continuous delivery of a node app to aws using docker containersBoo.Ide
IDE support for boo based languages (including unityscript).boo-pack
Emacs boo language mode packaged for emacs-live.yanc
Yet another node clojurescript experimentgradle-stable-build-services
Gradle Stable Build Services examplemjsish
Metascript interactive shell and IDE supporting toolssystem-composition
Functional system compositionkotlin-sam-with-receiver-repro
minimal-sam-with-receiver-repro
A minimal Gradle Kotlin DSL project using the sam-with-receiver plugin.krust-template
Kotlin on the outside, Rust on the inside, exchanging messages asynchronously.sneerkell
The Sneer in Haskell Experimentartifacts
Personal Ivy artifact repositorylivity-frameworks
Open source Livity componentsgulp-mjs
A gulp plugin to compile metascript files.wm2020-hackathon-idris-click
A metronome app written in Idris 2Love Open Source and this site? Check out how you can help us