Itiviti / gradle-ikvm-pluginView external linksLinks
Gradle plugin for IKVM artifact compilation
☆15Aug 20, 2021Updated 4 years ago
Alternatives and similar repositories for gradle-ikvm-plugin
Users that are interested in gradle-ikvm-plugin are comparing it to the libraries listed below
Sorting:
- Tax types and computations for Australia☆11Dec 8, 2025Updated 2 months ago
- A powerful airgapped CLI tool for executing Ethereum validator operations including consolidation, switching, and both partial and full w…☆13Jan 13, 2026Updated last month
- Image Credential Provider for OKE implements Kubelet CredentialProvider (v1) APIs for passwordless pulls from the Container Registry (OC…☆10Jul 2, 2025Updated 7 months ago
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated last month
- ☆12Updated this week
- ☆13Jun 4, 2018Updated 7 years ago
- Website for CSE230☆10Jan 29, 2016Updated 10 years ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 3 years ago
- Ronin web framework☆30May 8, 2021Updated 4 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- Revamp / enhancements of the FPGA part of the Firebee project☆12Apr 26, 2014Updated 11 years ago
- A Nim wrapper for QuickJS☆13Mar 27, 2023Updated 2 years ago
- Identity Management System based on BIP0032; runs in Tails Live OS☆15Jun 25, 2017Updated 8 years ago
- Document management system. Based on bill tracking needs. Simple model for stages, priorities, authors, content (abstract, tags), releate…☆19Sep 16, 2014Updated 11 years ago
- 😎 A curated list of awesome EulerBeats resources.☆12Mar 29, 2021Updated 4 years ago
- rorschach inkblots on demand☆15Oct 27, 2019Updated 6 years ago
- ☆20Feb 27, 2023Updated 2 years ago
- Library code for upcoming RetroClash book☆10Feb 22, 2025Updated 11 months ago
- Verilog FPGA code : including experimental DSP audio processor☆13Dec 1, 2020Updated 5 years ago
- Using Arrows to model parallel processes/computations.☆18Aug 1, 2020Updated 5 years ago
- Lean formalizations for the paper "Fel's conjecture on syzigies of numerical semigroups"☆30Feb 5, 2026Updated last week
- Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).☆12Nov 28, 2023Updated 2 years ago
- Simple Sops Edit☆16Jan 30, 2026Updated 2 weeks ago
- Simple asynchronous back end for Slack apps☆12Jan 12, 2023Updated 3 years ago
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆14May 22, 2016Updated 9 years ago
- Interact with any contract on-chain (no-ABI/source code needed; the interface is decoded from the bytecode)☆19Dec 21, 2025Updated last month
- Arty FPGA board starter project☆12Sep 13, 2022Updated 3 years ago
- ☆19Feb 6, 2026Updated last week
- A simple REST Service that echoes back all request send to it.☆12May 17, 2021Updated 4 years ago
- Make a map of all georeferenced maps on routegadget☆14Aug 4, 2021Updated 4 years ago
- Changes to SciPy for the Numpy-refactor project and move to numpy 2.0.☆21Dec 6, 2011Updated 14 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 8 years ago
- Turn Haskell expressions into pointfree style in your browser with WASM☆13Dec 15, 2024Updated last year
- ☆18Feb 27, 2023Updated 2 years ago
- A hand-written streaming byte parser for OpenStreetMap Protobuf data.☆12Dec 8, 2021Updated 4 years ago
- Firmware and Gateware for the DiVA platform.☆14Sep 8, 2025Updated 5 months ago
- ☆13Apr 10, 2024Updated last year
- Pux TodoMVC☆13Aug 17, 2017Updated 8 years ago