readonly mirror of https://git.lerch.org/lobo/lambda-zig
☆14Feb 5, 2026Updated 9 months ago
Alternatives and similar repositories for lambda-zig
Users that are interested in lambda-zig are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10May 17, 2022Updated 4 years ago
- ☆10Oct 29, 2026Updated last week
- BigInteger for scala with very fast modPow☆10Jun 14, 2026Updated 4 months ago
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- Convert Point cloud data to Cloud Optimized GeoTIFF using AWS Lambda☆16Apr 27, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An optic library☆12May 27, 2026Updated 5 months ago
- Highly customizable, polymorphic static site generator library, written in Rust☆14Nov 26, 2024Updated last year
- A very small configuration library.☆11Oct 8, 2020Updated 6 years ago
- Scala library for efficient multi-dimensional arrays☆12Oct 8, 2026Updated 3 weeks ago
- (unenex) Convert Evernote's export file(*.enex) into HTML and images☆11Apr 18, 2026Updated 6 months ago
- Bullet physics on a Paper plugin☆12Apr 22, 2022Updated 4 years ago
- Companion repository for 'No More Orphans'☆14Oct 13, 2022Updated 4 years ago
- A JWT library for V-Lang☆10Jan 21, 2024Updated 2 years ago
- An sbt plugin to configure Java Flight Recorder☆10Jul 28, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A zero-dependency Scala framework☆10Nov 4, 2025Updated last year
- A Unity demo of the Point Data Abstraction Library (PDAL)☆11Sep 12, 2020Updated 6 years ago
- Scala wrapper around GDAL java bindings using GeoTrellis☆12Feb 18, 2019Updated 7 years ago
- Classic combat has returned! Get ready for some fast-paced combat action and lots of fun!☆11Sep 29, 2026Updated last month
- Vim plugin for Gyazo☆12Nov 16, 2020Updated 5 years ago
- Virtual Classes for Scala implemented as annotation macro☆11Aug 27, 2014Updated 12 years ago
- A minimal example of the Idris C FFI☆14May 15, 2015Updated 11 years ago
- A path to Recursion Schemes☆10Apr 20, 2020Updated 6 years ago
- This a template project that helps you write Greasemonkey/Tampermonkey/ViolentMonkey scripts with KotlinJs☆18Jan 26, 2026Updated 9 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 10 years ago
- Docker containers with Apache Accumulo and Apache Spark environment.☆12Jan 22, 2016Updated 10 years ago
- ☆12Jul 28, 2017Updated 9 years ago
- Docker container for a jupyter notebook with a GeoTrellis environment.☆10Aug 15, 2017Updated 9 years ago
- generate over twenty three case classes play-json Reads/Writes/Format☆10May 6, 2017Updated 9 years ago
- 📦 Hosting Maven repositories is hard, let's make it easier!☆11Feb 7, 2026Updated 8 months ago
- Levenshtein String Distance☆12May 20, 2022Updated 4 years ago
- Sample app to use ZIO and DIstage with a playframework application☆11Jan 15, 2021Updated 5 years ago
- Tiger Compiler from Modern Compiler Implementation in ML☆23Mar 17, 2017Updated 9 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A Minecraft: JE obfuscation mapping documentation site.☆15Sep 20, 2026Updated last month
- ☆12Nov 12, 2021Updated 4 years ago
- Create p5.js sketches with typical JavaScript development tools. Unofficial.☆10Jan 22, 2021Updated 5 years ago
- An sbt plugin for creating java foreign bindings using project panama.☆13Nov 23, 2019Updated 6 years ago
- ☆12Jul 28, 2024Updated 2 years ago
- ☆17Feb 16, 2020Updated 6 years ago
- A plugin for managing a Minecraft community☆13Oct 18, 2026Updated 2 weeks ago