Very spicy additions to Lombok's annotations
☆58Feb 18, 2023Updated 3 years ago
Alternatives and similar repositories for Deoplice
Users that are interested in Deoplice are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- A tiny static site generator, greatly inspired by Zola.☆14Aug 8, 2022Updated 3 years ago
- A bare-bones tool for converting JSON5 to plain JSON.☆13Aug 20, 2022Updated 3 years ago
- Label dependent dependent session types☆16May 2, 2024Updated 2 years ago
- Like a cell, but make lifetimes dynamic instead of ownership☆21Jul 14, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- Rust bindings for HACL & Evercrypt☆30Apr 24, 2025Updated last year
- Naive implementation of a dungeon generator written in Rust☆15Nov 19, 2022Updated 3 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆16May 22, 2024Updated 2 years ago
- Visualization tool for your IO-uring workload☆20Aug 19, 2024Updated last year
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆16Dec 10, 2019Updated 6 years ago
- A Java compiler plugin that turns Java into a mostly dynamically typed language☆11Jul 8, 2015Updated 10 years ago
- 1️⃣🐝🏎️ Path to the Fastest #1BRC Solution☆65Oct 7, 2024Updated last year
- SubZero - Fast Serialization for Hazelcast☆51Dec 27, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆12Jul 10, 2022Updated 3 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆19Mar 19, 2017Updated 9 years ago
- A voice only API for Discord, focused on delivering music at scale.☆19Oct 24, 2020Updated 5 years ago
- ☆17Jan 19, 2018Updated 8 years ago
- Type-Level Programming in Rust☆28Dec 29, 2021Updated 4 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Jan 18, 2020Updated 6 years ago
- Experiments compiling the Impeller Entity Shaders to WGSL.☆11Jun 6, 2022Updated 4 years ago
- Rich token-based pattern matching for Clojure. Match a template like "do *action with *resource" against an input string like "Do good y…☆13Sep 18, 2023Updated 2 years ago
- Slides and code from the talk "Journey to Functional Programming", given at Wix Engineering Conference☆11Jul 23, 2017Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Delimited continuations library☆17Nov 8, 2014Updated 11 years ago
- Elasticsearch demo using Enron email dataset☆11Jan 8, 2018Updated 8 years ago
- Webp Polyfill is a polyfill (adds support for non-native features) for webp images in the browser.☆14Mar 12, 2016Updated 10 years ago
- A little logical game about a robot, using jbox2d☆10Apr 26, 2021Updated 5 years ago
- Efficient and lightweight parameter engine.☆31May 21, 2024Updated 2 years ago
- 🔔 Jingle is a dynamically-typed, multi-paradigm programming language designed for humans and machines.☆43Feb 19, 2021Updated 5 years ago
- Learn you an SBT for fun and profit – Scala Days 2014 example project☆26Jun 20, 2014Updated 11 years ago
- ☆11Apr 6, 2023Updated 3 years ago
- ☆10Jun 28, 2023Updated 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.
- functionality on top of an RDF store while accounting for and exploiting the fundamental differences between graph storage and relation…☆12Feb 21, 2024Updated 2 years ago
- Yet another concurrent playground☆33Nov 18, 2015Updated 10 years ago
- Blog posts for https://openliberty.io☆11Updated this week
- A fix for an issue with clojure.lang.Reflector in GraalVM native-image JDK11.☆15Feb 4, 2021Updated 5 years ago
- Framework and CL tools for hight throughput manipulation on RDF statements (triples and quads).☆10Nov 14, 2020Updated 5 years ago
- Working through https://leanpub.com/optics-by-example by Chris Penner☆12Sep 9, 2021Updated 4 years ago
- Maven plugin for finding and replacing values in filenames, files, and folders.☆14Jun 18, 2024Updated last year