Rodrigo Bamboo's repositories
idris2dart
The Dart backend for Idris 2.
idris2-lsp-vscode
Visual Studio Code integration for the Idris 2 language server
kotlinconf2019
Complete source code for the demos of my KotlinConf 2019 presentation - Implementing the Gradle Kotlin DSL
krust-template
Kotlin on the outside, Rust on the inside, exchanging messages asynchronously.
idris2-dash-docset
Dash docset for Idris 2 libraries
gradle-stable-build-services
Gradle Stable Build Services example
wm2020-hackathon-idris-click
A metronome app written in Idris 2
classfile-rs
JVM classfile parser and writer for Rust
configuration-cache-plugin-receives-build-result
Samples demonstrating the new API to be introduced in Gradle 8.1 as a replacement for `buildFinished`
flutter_midi
Midi Playback in Flutter
gradle-kotlin-dsl-profile
Profile Gradle Kotlin DSL script compilation
idris2-lsp
Language Server for Idris2
idris2dart-vscode
Visual Studio Code integration for idris2dart
kotlin-dsl-inline-repro
Repro project for Kotlin compiler bug [KT-36297](https://youtrack.jetbrains.com/issue/KT-36297)
kotlin-dsl-script-templates-repro
A simple Gradle Kotlin DSL project with the latest IDE script templates for testing
language-dart
Dart source manipulation
placeholders-sketch
A small study on DSL design for map declarations.
privateGPT
Interact privately with your documents using the power of GPT, 100% privately, no data leaks
s7
Forked from https://cm-gitlab.stanford.edu/bil/s7.git
simplified-shared-build-service-demo
A demo project
visual-chatgpt
Official repo for the paper: Visual ChatGPT: Talking, Drawing and Editing with Visual Foundation Models
vscode-rust
Rust for Visual Studio Code