Android Typed-lambda-calculus Resources

kotlin-lambda-example-jvm Kotlin Lambda example on JVM contains four CDK stacks of Kotlin Lambda on JVM: JVM on x86, JVM on Arm64, JVM with C1 compile

TemBazuca App that says if the movie you typed in has bazooka or not. But... why? The idea for the app came up while I was watching Choque de Cultura

score A calculus for scoreboard optimization. Optimizations set fusion scoreboar

Projeto da disciplina de Linguagem de Programação Funcional 2021.1 (jan/2022) 📄

Λrrow is a library for Typed Functional Programming in Kotlin. Arrow aims to provide a lingua franca of interfaces and abstractions across Kotlin libr

Overview This is a Kotlin multiplatform template project used to generate and deploy a natively compiled AWS Lambda function using a custom runtime. U

What's Ktorm? Ktorm is a lightweight and efficient ORM Framework for Kotlin directly based on pure JDBC. It provides strong-typed and flexible SQL DSL

Kotless Kotless stands for Kotlin serverless framework. Its focus lies in reducing the routine of serverless deployment creation by generating it stra

Kuery - strongly typed SQL in Kotlin The library is a strongly typed alternative to plain text SQL. The main goal of this project is to make database-

Welcome to Vaadin-On-Kotlin Vaadin-on-Kotlin is a web-application framework that includes everything needed to create database-backed web applications

lambda-kotlin-request-router A REST request routing layer for AWS lambda handlers written in Kotlin. Goal We came up lambda-kotlin-request-router to r

gr8s Gradle plugin which allows using typed DSL for generating kubernetes/openshift YAML files. Based on kuberig Usage import io.github.guai.gr8s.Gene

keplin Extended Kotlin Scripting Gradle /Maven With Kotlin 1.2.+ in your classpath, add: artifact GAV keplin-core uy.kohesive.keplin:keplin-core kepli

TypedSharedPreferences By specifying type parameters for the keys you define, you can avoid typing mistakes when saving to SharedPreferences. Installa

Lambda Plugin SDK This project in an example to show how a proper plugin for Lambda Client is set up. The advantage of plugins for a utility mod is th

TypedNavigation A lightweight library to help you navigate in compose with well typed functions. Installation: You can add this library to your projec

Autodupes I said I wouldn't, but here we are. This is a Lambda client plugin. Becuase I was bored. These 2 Modules are for 5b5t, a server with an inte

Description Adding fully automated highway building as plugin to Lambda. The tool places building material and destroys wrong blocks in high frequency

AnimatedEditText for Android This repository contains AnimatedEditText and TextDrawable all of which extend the behaviour of EditText and implement fe

Gradle Retrolambda Plugin This plugin will automatically build your java or android project with retrolambda, giving you lambda goodness on java 6 or