Rodrigo Bamboo

icon company @Gradle icon location Brazil icon location I code / I drum

Results 9 repositories owned by Rodrigo Bamboo

idris-cil

131
Stars
11
Forks
Watchers

A Common Intermediate Language backend for Idris 1

verified publisher icon bamboo

IdrisUnityPlayground

49
Stars
2
Forks
Watchers

Experiments in Idris / Unity integration.

verified publisher icon bamboo

Bamboo.Prevalence

18
Stars
11
Forks
Watchers

Prevalence engine for .net.

verified publisher icon bamboo

boo

39
Stars
3
Forks
Watchers

The Boo Programming Language.

verified publisher icon bamboo

boojay

19
Stars
3
Forks
Watchers

java backend for the boo programming language

verified publisher icon bamboo

gradle-dotnet-plugins

29
Stars
8
Forks
Watchers

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

verified publisher icon bamboo

idris2-lsp-vscode

28
Stars
12
Forks
Watchers

Visual Studio Code integration for the Idris 2 language server

verified publisher icon bamboo

idris2dart

47
Stars
5
Forks
Watchers

The Dart backend for Idris 2.

verified publisher icon bamboo

kotlinconf2019

16
Stars
2
Forks
Watchers

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

verified publisher icon bamboo