scala library for constructive solid geometry
☆20Jan 18, 2026Updated 8 months ago
Alternatives and similar repositories for scadla
Users that are interested in scadla are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Update Indicator for Fedora and Gnome-Shell☆12Nov 4, 2020Updated 5 years ago
- Library based on pure-config for getting updates from Consul or Vault backend.☆23Apr 7, 2021Updated 5 years ago
- A fast, free and fun HTML5 Game Framework for Desktop and Mobile web browsers.☆17Jun 17, 2019Updated 7 years ago
- The new PRISM node and VDR indexer with lesson learned☆12Updated this week
- A single address wallet that supports mnemonics and hardware wallets☆11Dec 26, 2025Updated 8 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆17Jul 21, 2017Updated 9 years ago
- Automatic hot reloading of Scala classes☆28Oct 2, 2022Updated 3 years ago
- A compiler for PCF (Programming Language for Computable Functions) Ported from F# to Scala☆19Mar 7, 2016Updated 10 years ago
- Workshop On Tagless Final Interpreters☆37May 5, 2019Updated 7 years ago
- Scalus Starter project☆11Sep 12, 2026Updated last week
- Project scaffolding for JME3☆13Oct 9, 2019Updated 6 years ago
- Safer universal equivalence (==) for Scala.☆59Jun 20, 2026Updated 3 months ago
- MUnit and ZIO integration☆18Aug 30, 2026Updated 3 weeks ago
- Scalafix Rewrites for Scala☆10Oct 5, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- XQuery for Scala☆36Oct 29, 2015Updated 10 years ago
- Start using OpenCV in your JVM project in just 1 line, no separate compiling, installing OpenCV, or fussing with your system required☆93Dec 22, 2018Updated 7 years ago
- a specification that describes discovery and transport over Bluetooth for DIDcomm☆16Feb 15, 2021Updated 5 years ago
- A fully p2p desktop Cardano wallet with builtin DeFi support, and a transaction builder for executing multiple actions in one transaction…☆23Jun 12, 2025Updated last year
- Compositional music composition using Scala, SuperCollider, and Web Audio.☆78Aug 8, 2017Updated 9 years ago
- Virtual cockpit for UAVs☆12Feb 13, 2017Updated 9 years ago
- Facsimile Simulation Library☆28Jan 20, 2025Updated last year
- The API and mavlink corpus server.☆13May 19, 2016Updated 10 years ago
- Experiments with some ways of automating reasoning in lean 4☆19Apr 20, 2024Updated 2 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.
- This repository contains the code for CVPRW 2024 paper: Generating Material-Aware 3D Models from Sparse Views☆13Jun 11, 2024Updated 2 years ago
- Hydrozoa: Lightweight multi-party state channels for Cardano☆21Updated this week
- Scala + Libgdx Implementation of Notch's Metagun☆27Apr 25, 2012Updated 14 years ago
- Monadic directed acyclic graph datastructures for Scala☆14Feb 12, 2025Updated last year
- Scala embedded universal probabilistic programming language☆11Apr 15, 2021Updated 5 years ago
- Python to Scala Transpiler using Neural Machine Translation☆14Feb 20, 2019Updated 7 years ago
- Run http4s or akka-http over API Gateway and AWS Lambda☆50May 5, 2020Updated 6 years ago
- Bringing Spire to Dotty/Scala 3☆14Feb 19, 2024Updated 2 years ago
- A Cheat Sheet for Coq Developers who want to try LeanProver☆19Jul 25, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Usefuls tools for C++, Qt and Open Cascade☆10Sep 28, 2022Updated 3 years ago
- Genetic programming in Scala☆22Apr 18, 2017Updated 9 years ago
- Scala-based project to visualize Scala programs in UML class diagrams.☆12Aug 30, 2023Updated 3 years ago
- VMWare Horizon Client Flatpak☆10Jan 17, 2023Updated 3 years ago
- A web app to render SVG badges with results of GitHub action run.☆13Aug 22, 2026Updated last month
- API for converting JVM objects to representations by MIME type, for the Jupyter ecosystem.☆26Jan 16, 2020Updated 6 years ago
- UgCS Java SDK☆20May 26, 2026Updated 3 months ago