This is your work, valued
I code / I drum
idris-cil. A Common Intermediate Language backend for Idris 1
133unityscript. A JavaScript implementation based on the Boo programming language.
68IdrisUnityPlayground. Experiments in Idris / Unity integration.
49idris2dart. The Dart backend for Idris 2.
48boo. The Boo Programming Language.
41idris2-lsp-vscode. Visual Studio Code integration for the Idris 2 language server
33gradle-dotnet-plugins. Gradle plugins for building, testing and publishing .NET, Mono and Unity applications.
30purescript-electron. PureScript FFI bindings for the Electron API (This repository is no longer maintained)
25boojay. java backend for the boo programming language
20kotlinconf2019. Complete source code for the demos of my KotlinConf 2019 presentation - Implementing the Gradle Kotlin DSL
19Bamboo.Prevalence. Prevalence engine for .net.
18godot-s7-scheme. Godot engine language binding for the wonderful s7 Scheme
18purescript-electron-quickstart. Quick start for a purely PureScript based Electron project
9monolipse. Mono Development Tools for Eclipse including code highlighting and incremental compilation for boo, boojay and c#.
9idris-hamt. Idris Hash Array Mapped Trie
6boo-md-addins. MonoDevelop addins for Boo-based languages
5livity4unity. Livity Public Repository
5krust-template. Kotlin on the outside, Rust on the inside, exchanging messages asynchronously.
4idris-codegen-sexp. Idris Simplified Expressions backend
4classloader-vis. The Gradle ClassLoader hierarchy visualization tool
3idris-game-of-life. An implementation of Conway's Game Of Life in Idris
2CodeEditor. An embedded code editor for Unity.
2purescript-playground. Playful PureScript Projects
2masakari. Metascript macro library for functional programming with mori
2idris2-dash-docset. Dash docset for Idris 2 libraries
2clojure-retrofit-spike. A simple example on how to play with retrofit in a clojure project.
2wm2020-hackathon-idris-click. A metronome app written in Idris 2
1kotlin-js-tailwind-css-template. A Gradle project template integrating Kotlin/JS and Tailwind CSS
1gradle-stable-build-services. Gradle Stable Build Services example
1livity-frameworks. Open source Livity components
1yanc. Yet another node clojurescript experiment
1mjsish. Metascript interactive shell and IDE supporting tools
1system-composition. Functional system composition
1gulp-mjs. A gulp plugin to compile metascript files.
1artifacts. Personal Ivy artifact repository
1programming-talks. Awesome & Interesting Talks concerning Programming
1libguile-llvm. LLVM bindings for Guile
1aws-docker-gocd. An experiment in using gocd for continuous delivery of a node app to aws using docker containers
1