All Git Users → bamboo

5 open source projects by bamboo

[ Open user page on Github ]

A Common Intermediate Language backend for Idris.

✭ 132

java backend for the boo programming language

✭ 19

A JavaScript implementation based on the Boo programming language.

✭ 68

Boo javascript shell C#groovy racket perl

The Dart backend for Idris 2.

✭ 46

Idris Makefile dart flutter idris2 idris2-ecosystem

5. IdrisUnityPlayground

Experiments in Idris / Unity integration.

✭ 50

Idris C#playground unity

1-5 of 5 user projects