bamboo
Follow
-
idris2-lsp-vscode Public
Visual Studio Code integration for the Idris 2 language server
-
-
gboviz Public
A learning day experiment on the efficient processing of Gradle build operation traces
C++ Apache License 2.0 UpdatedSep 2, 2024 -
kotlin-js-tailwind-css-template Public template
A Gradle project template integrating Kotlin/JS and Tailwind CSS
-
-
krust-template Public template
Kotlin on the outside, Rust on the inside, exchanging messages asynchronously.
-
privateGPT Public
Forked from zylon-ai/private-gptInteract privately with your documents using the power of GPT, 100% privately, no data leaks
Python Apache License 2.0 UpdatedMay 29, 2023 -
visual-chatgpt Public
Forked from chenfei-wu/TaskMatrixOfficial repo for the paper: Visual ChatGPT: Talking, Drawing and Editing with Visual Foundation Models
Python MIT License UpdatedMar 20, 2023 -
Samples demonstrating the new API to be introduced in Gradle 8.1 as a replacement for `buildFinished`
Java UpdatedDec 22, 2022 -
simplified-shared-build-service-demo Public
Forked from abstratt/simplified-shared-build-service-demoA demo project
Kotlin Apache License 2.0 UpdatedDec 6, 2022 -
gradle Public
Forked from gradle/gradleAdaptable, fast automation for all
Groovy Apache License 2.0 UpdatedSep 1, 2022 -
glutin Public
Forked from Kaiser1989/glutinA low-level library for OpenGL context creation, written in pure Rust.
Rust Apache License 2.0 UpdatedApr 2, 2022 -
winit Public
Forked from Kaiser1989/winitWindow handling library in pure Rust
Rust Apache License 2.0 UpdatedApr 2, 2022 -
gradle-stable-build-services Public
Gradle Stable Build Services example
-
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedAug 28, 2021 -
spacemacs Public
Forked from syl20bnr/spacemacsA community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Emacs Lisp GNU General Public License v3.0 UpdatedJul 13, 2021 -
idris2dart Public
The Dart backend for Idris 2.
-
idris2-lsp Public
Forked from idris-community/idris2-lspLanguage Server for Idris2
Idris BSD 3-Clause "New" or "Revised" License UpdatedMay 12, 2021 -
idris2-dash-docset Public
Dash docset for Idris 2 libraries
-
idris2dart-vscode Public
Visual Studio Code integration for idris2dart
TypeScript UpdatedMay 2, 2021 -
classfile-rs Public
Forked from x4e/classfile-rsJVM classfile parser and writer for Rust
Rust MIT License UpdatedApr 22, 2021 -
Launcher Public
Forked from finnmglas/Launcher🚀 A distraction-free minimal homescreen for Android.
Kotlin MIT License UpdatedDec 30, 2020 -
wm2020-hackathon-idris-click Public
A metronome app written in Idris 2
-
gradle-kotlin-dsl-profile Public
Profile Gradle Kotlin DSL script compilation
Kotlin UpdatedSep 4, 2020 -
flutter_midi Public
Forked from rodydavis/flutter_midiMidi Playback in Flutter
Swift UpdatedAug 16, 2020 -
placeholders-sketch Public
A small study on DSL design for map declarations.
Kotlin UpdatedFeb 3, 2020 -
kotlin-dsl-inline-repro Public
Repro project for Kotlin compiler bug [KT-36297](https://youtrack.jetbrains.com/issue/KT-36297)
Kotlin UpdatedJan 31, 2020 -
kotlinconf2019 Public
Complete source code for the demos of my KotlinConf 2019 presentation - Implementing the Gradle Kotlin DSL
-
A simple Gradle Kotlin DSL project with the latest IDE script templates for testing
Kotlin UpdatedNov 5, 2019 -
kotlin Public
Forked from JetBrains/kotlinThe Kotlin Programming Language
Kotlin UpdatedSep 19, 2019