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.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.kotlinconf2019
Complete source code for the demos of my KotlinConf 2019 presentation - Implementing the Gradle Kotlin DSLpurescript-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