Skip to content

Instantly share code, notes, and snippets.

Rodrigo B. de Oliveira bamboo

Block or report user

Report or block bamboo

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
@bamboo
bamboo / build.gradle.kts
Last active Mar 22, 2019
Gradle ArtifactTransform example using the Gradle Kotlin DSL
View build.gradle.kts
import org.gradle.api.internal.artifacts.repositories.layout.IvyRepositoryLayout
import java.io.InputStream
import java.util.zip.*
object Attributes {
val artifactType = Attribute.of("artifactType", String::class.java)
val zipType = "zip"
val jars = "jars"
}
@bamboo
bamboo / build.gradle
Last active Dec 11, 2018
Drive kotlinc from build.gradle
View build.gradle
// Execute Kotlin script with:
//
// gradle -q foo
//
// For correctness, we're going to configure two independent classpath configurations, one for kotlinc and the other for the
// script(s) we want to execute.
configurations {
kotlinc
@bamboo
bamboo / dotnet-idris-faster-than-idris.md
Created Jan 9, 2017
dotnet core can execute idris faster than idris
View dotnet-idris-faster-than-idris.md
➜  /tmp  time ./pythag-idris > /dev/null
4.49s user 0.02s system 99% cpu 4.514 total
➜  /tmp  time dotnet pythag-idris.exe > /dev/null
4.23s user 0.03s system 99% cpu 4.265 total

pythag.idr

@bamboo
bamboo / popcnt-after-optimization.il
Created Nov 27, 2016
Idris bit population count as emitted by idris-cil before and after boxing optimization
View popcnt-after-optimization.il
.method static assembly object 'Data.HashSet.popcnt'(object 'e0') cil managed
{
.maxstack 2
.locals init (
int32 l0,
int32 l1,
int32 l2,
int32 l3,
int32 l4,
int32 l5)
@bamboo
bamboo / build.gradle.kts
Created May 30, 2016
Repro project for gradle/kotlin-dsl#25 - loader constraint violation error
View build.gradle.kts
import org.gradle.api.artifacts.dsl.*
import org.gradle.api.plugins.*
import org.gradle.api.publish.*
import org.gradle.api.publish.maven.*
import org.gradle.api.tasks.bundling.Zip
import org.gradle.api.tasks.bundling.ZipEntryCompression
import org.gradle.jvm.tasks.Jar
import org.gradle.script.lang.kotlin.*
import java.util.concurrent.Callable
@bamboo
bamboo / ExternalComponentsAsFirstClassElements.gradle
Last active Nov 24, 2015
External Components as First Class Model Elements
View ExternalComponentsAsFirstClassElements.gradle
model {
components {
// External components are modeled just like internal ones.
mavenLibrary 'collections' {
org 'com.acme'
version '1.0'
}
@bamboo
bamboo / *>.lisp
Last active Aug 29, 2015
SFun Prelude.Applicative.*>
View *>.lisp
SFun Prelude.Applicative.*> [{e0},{e1},{e2},{e3},{e4},{e5}] 5
(SLet (Loc 6)
(SLet (Loc 6)
(SLet (Loc 6) SNothing
(SLet (Loc 7) SNothing
(SLet (Loc 8) SNothing
(SApp False Prelude.Applicative.<*> [Loc 6,Loc 7,Loc 8,Loc 3]))))
(SLet (Loc 7)
(SLet (Loc 7)
(SLet (Loc 7)
@bamboo
bamboo / HelloWorld.il
Created Jul 27, 2015
idris-cil - Hello World
View HelloWorld.il
.assembly extern mscorlib
{
.ver 2:0:0:0
.publickeytoken = (B7 7A 5C 56 19 34 E0 89)
}
.assembly 'HelloIdris' {}
.class private M
{
.method static assembly object call__IO(object e0, object e1, object e2) cil managed
{
@bamboo
bamboo / core.clj
Created Jun 12, 2015
system-composition in clojure
View core.clj
(ns composition.core
(:require [com.stuartsierra.dependency :as dep]))
#_(defprotocol Component ; an interesting thought
(dependencies [component])
(constructor [component configuration]))
(defn using [dependencies constructor]
{::dependencies dependencies
::constructor constructor})
@bamboo
bamboo / styles.less
Created Nov 13, 2014
My atom stylesheet (goes well with atom-soda-dark and monokai-soda)
View styles.less
.workspace {
font-size: 15pt;
text-rendering: optimizeLegibility;
}
.tree-view {
font-size: 14pt;
}
.editor {
You can’t perform that action at this time.