Alternatives and similar repositories for gradle-ikvm-plugin

Users that are interested in gradle-ikvm-plugin are comparing it to the libraries listed below

• frasertweedale / hs-tax-ato

  View on GitHub
  Tax types and computations for Australia
  ☆11Dec 8, 2025Updated 2 months ago
• Luganodes / pectra-cli

  View on GitHub
  A powerful airgapped CLI tool for executing Ethereum validator operations including consolidation, switching, and both partial and full w…
  ☆13Jan 13, 2026Updated last month
• oracle-devrel / oke-credential-provider-for-ocir

  View on GitHub
  Image Credential Provider for OKE implements Kubelet CredentialProvider (v1) APIs for passwordless pulls from the Container Registry (OC…
  ☆10Jul 2, 2025Updated 7 months ago
• kztk-m / sparcl

  View on GitHub
  Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/
  ☆12Jan 15, 2026Updated last month
• UA-RCL / CEDR

  View on GitHub
  ☆12Updated this week
• markus1189 / how-this-presentation

  View on GitHub
  ☆13Jun 4, 2018Updated 7 years ago
• UCSD-PL / 230-web

  View on GitHub
  Website for CSE230
  ☆10Jan 29, 2016Updated 10 years ago
• acowley / concurrent-machines

  View on GitHub
  Concurrency features for the Haskell machines package
  ☆16Mar 11, 2022Updated 3 years ago
• kprevas / ronin

  View on GitHub
  Ronin web framework
  ☆30May 8, 2021Updated 4 years ago
• spacekitteh / haskell-clifford

  View on GitHub
  Clifford algebra for Haskell! :D
  ☆14Jul 1, 2014Updated 11 years ago
• Torlus / firebee-fpga

  View on GitHub
  Revamp / enhancements of the FPGA part of the Firebee project
  ☆12Apr 26, 2014Updated 11 years ago
• ImVexed / quickjs4nim

  View on GitHub
  A Nim wrapper for QuickJS
  ☆13Mar 27, 2023Updated 2 years ago
• cjbauer / idmas

  View on GitHub
  Identity Management System based on BIP0032; runs in Tails Live OS
  ☆15Jun 25, 2017Updated 8 years ago
• ciudadanointeligente / bill-it

  View on GitHub
  Document management system. Based on bill tracking needs. Simple model for stages, priorities, authors, content (abstract, tags), releate…
  ☆19Sep 16, 2014Updated 11 years ago
• waskow-consensys / awesome-eulerbeats

  View on GitHub
  😎 A curated list of awesome EulerBeats resources.
  ☆12Mar 29, 2021Updated 4 years ago
• RGBz / rorschach-blotter

  View on GitHub
  rorschach inkblots on demand
  ☆15Oct 27, 2019Updated 6 years ago
• kingoflolz / mic_hardware

  View on GitHub
  ☆20Feb 27, 2023Updated 2 years ago
• gergoerdi / retroclash-lib

  View on GitHub
  Library code for upcoming RetroClash book
  ☆10Feb 22, 2025Updated 11 months ago
• DaveBerkeley / fpga

  View on GitHub
  Verilog FPGA code : including experimental DSP audio processor
  ☆13Dec 1, 2020Updated 5 years ago
• Parrows / Parrows

  View on GitHub
  Using Arrows to model parallel processes/computations.
  ☆18Aug 1, 2020Updated 5 years ago
• AxiomMath / fel-polynomial

  View on GitHub
  Lean formalizations for the paper "Fel's conjecture on syzigies of numerical semigroups"
  ☆30Feb 5, 2026Updated last week
• dorchard / betty-book-haskell-sessions

  View on GitHub
  Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).
  ☆12Nov 28, 2023Updated 2 years ago
• DaPutzy / intellij-sops-plugin

  View on GitHub
  Simple Sops Edit
  ☆16Jan 30, 2026Updated 2 weeks ago
• amancevice / slackend

  View on GitHub
  Simple asynchronous back end for Slack apps
  ☆12Jan 12, 2023Updated 3 years ago
• mgajda / clash-yosys-demo

  View on GitHub
  Deploying Haskell to Lattice iCE40 using fully open source toolchain
  ☆14May 22, 2016Updated 9 years ago
• DOBEN / ContractCompanion

  View on GitHub
  Interact with any contract on-chain (no-ABI/source code needed; the interface is decoded from the bytecode)
  ☆19Dec 21, 2025Updated last month
• adamwalker / starty

  View on GitHub
  Arty FPGA board starter project
  ☆12Sep 13, 2022Updated 3 years ago
• digital-asset / daml-finance-app

  View on GitHub
  ☆19Feb 6, 2026Updated last week
• Vad1mo / hello-world-rest

  View on GitHub
  A simple REST Service that echoes back all request send to it.
  ☆12May 17, 2021Updated 4 years ago
• mpickering / rg-map

  View on GitHub
  Make a map of all georeferenced maps on routegadget
  ☆14Aug 4, 2021Updated 4 years ago
• jasonmccampbell / scipy-refactor

  View on GitHub
  Changes to SciPy for the Numpy-refactor project and move to numpy 2.0.
  ☆21Dec 6, 2011Updated 14 years ago
• konnov / fault-tolerant-benchmarks

  View on GitHub
  Fault-tolerant distributed algorithms encoded in a formal language
  ☆14Nov 30, 2020Updated 5 years ago
• thoughtpolice / claap

  View on GitHub
  "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)
  ☆13Mar 31, 2017Updated 8 years ago
• pointfree-wasm / pointfree-wasm.github.io

  View on GitHub
  Turn Haskell expressions into pointfree style in your browser with WASM
  ☆13Dec 15, 2024Updated last year
• kingoflolz / mic_host

  View on GitHub
  ☆18Feb 27, 2023Updated 2 years ago
• fosskers / streaming-osm

  View on GitHub
  A hand-written streaming byte parser for OpenStreetMap Protobuf data.
  ☆12Dec 8, 2021Updated 4 years ago
• gregdavill / DiVA-firmware

  View on GitHub
  Firmware and Gateware for the DiVA platform.
  ☆14Sep 8, 2025Updated 5 months ago
• MiSTer-devel / AtariLynx_MiSTer

  View on GitHub
  ☆13Apr 10, 2024Updated last year
• alexmingoia / pux-todomvc

  View on GitHub
  Pux TodoMVC
  ☆13Aug 17, 2017Updated 8 years ago