This is your work, valued

Brazil

Rodrigo Bamboo

Elite
@bamboo

I code / I drum

idris-cil. A Common Intermediate Language backend for Idris 1

133

unityscript. A JavaScript implementation based on the Boo programming language.

68

IdrisUnityPlayground. Experiments in Idris / Unity integration.

49

idris2dart. The Dart backend for Idris 2.

48

boo. The Boo Programming Language.

41

idris2-lsp-vscode. Visual Studio Code integration for the Idris 2 language server

33

gradle-dotnet-plugins. Gradle plugins for building, testing and publishing .NET, Mono and Unity applications.

30

purescript-electron. PureScript FFI bindings for the Electron API (This repository is no longer maintained)

25

boojay. java backend for the boo programming language

20

kotlinconf2019. Complete source code for the demos of my KotlinConf 2019 presentation - Implementing the Gradle Kotlin DSL

19

Bamboo.Prevalence. Prevalence engine for .net.

18

godot-s7-scheme. Godot engine language binding for the wonderful s7 Scheme

18

purescript-electron-quickstart. Quick start for a purely PureScript based Electron project

9

monolipse. Mono Development Tools for Eclipse including code highlighting and incremental compilation for boo, boojay and c#.

9

idris-hamt. Idris Hash Array Mapped Trie

6

boo-md-addins. MonoDevelop addins for Boo-based languages

5

livity4unity. Livity Public Repository

5

krust-template. Kotlin on the outside, Rust on the inside, exchanging messages asynchronously.

4

idris-codegen-sexp. Idris Simplified Expressions backend

4

classloader-vis. The Gradle ClassLoader hierarchy visualization tool

3

idris-game-of-life. An implementation of Conway's Game Of Life in Idris

2

CodeEditor. An embedded code editor for Unity.

2

purescript-playground. Playful PureScript Projects

2

masakari. Metascript macro library for functional programming with mori

2

idris2-dash-docset. Dash docset for Idris 2 libraries

2

clojure-retrofit-spike. A simple example on how to play with retrofit in a clojure project.

2

wm2020-hackathon-idris-click. A metronome app written in Idris 2

1

kotlin-js-tailwind-css-template. A Gradle project template integrating Kotlin/JS and Tailwind CSS

1

gradle-stable-build-services. Gradle Stable Build Services example

1

livity-frameworks. Open source Livity components

1

yanc. Yet another node clojurescript experiment

1

mjsish. Metascript interactive shell and IDE supporting tools

1

system-composition. Functional system composition

1

gulp-mjs. A gulp plugin to compile metascript files.

1

artifacts. Personal Ivy artifact repository

1

programming-talks. Awesome & Interesting Talks concerning Programming

1

libguile-llvm. LLVM bindings for Guile

1

aws-docker-gocd. An experiment in using gocd for continuous delivery of a node app to aws using docker containers

1