Central repository for managing the implementation of InSynth and Scala IDE integration.
☆12Nov 14, 2017Updated 8 years ago
Alternatives and similar repositories for scala-ide-insynth-integration
Users that are interested in scala-ide-insynth-integration are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆25Mar 17, 2011Updated 15 years ago
- A set of yasnippet-compatible snippets for inserting various standard licenses into a buffer.☆14Mar 30, 2009Updated 17 years ago
- GooSig: short signatures from RSA that hide the signer's RSA public key☆12Jan 8, 2020Updated 6 years ago
- This repository is now obsolete☆11Sep 29, 2012Updated 14 years ago
- Web Application Runner for Maven WAR Projects☆19Oct 16, 2026Updated 2 weeks 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.
- Web application allowing to edit Scala symbols documentation☆11Jan 23, 2012Updated 14 years ago
- DrScala - A doctor for your code☆17Mar 17, 2014Updated 12 years ago
- ScalaTest plugin for Scala IDE☆41Jul 4, 2020Updated 6 years ago
- A Scala.js interface to Mapbox and related APIs, like Leaflet.js.☆11Apr 3, 2017Updated 9 years ago
- Simple proof-of-concept for an Android project using Scala and Maven.☆37May 1, 2012Updated 14 years ago
- This is the main project for the Savant build tool☆13Mar 12, 2026Updated 7 months ago
- Kerberos Operator for Kubernetes & OpenShift☆16Sep 12, 2021Updated 5 years ago
- A representation of latitude and longitude☆15Nov 25, 2019Updated 6 years ago
- Roy plugin for Play 2.0☆12Nov 27, 2012Updated 13 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A text editor for Scala programmers☆34Dec 10, 2011Updated 14 years ago
- For running scalastyle from the command line☆11Oct 5, 2014Updated 12 years ago
- Flashup format flashcards for public consumption☆12Aug 1, 2011Updated 15 years ago
- Hybrid typenum/const generic arrays☆23Oct 14, 2026Updated 2 weeks ago
- always faithful, always loyal semantic versioning☆23Sep 13, 2017Updated 9 years ago
- [DEFUNCT] Referentially Transparent IO for Scala☆22Oct 1, 2012Updated 14 years ago
- ☆12Jan 5, 2015Updated 11 years ago
- Simply typed lambda calculus demo for Lambda Jam 2014☆11Aug 2, 2014Updated 12 years ago
- event site for the northeast scala symposium☆11Dec 16, 2015Updated 10 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.
- Angular2 component or directive for NVD3.js☆15Mar 30, 2017Updated 9 years ago
- Scala Kubernetes Operator library☆41Nov 11, 2021Updated 4 years ago
- An Eclipse builder for Android projects using Scala☆134Oct 13, 2020Updated 6 years ago
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆33Dec 10, 2014Updated 11 years ago
- Tool that creates regular expressions from ABNF (RFC 5234)☆12Mar 16, 2026Updated 7 months ago
- Sample Embedded interpreter so I don't have to look up this code (and neither do you!)☆33Oct 13, 2020Updated 6 years ago
- Small Scheme interpreter and compiler☆14Feb 15, 2016Updated 10 years ago
- Name resolver for Eclipse MAT☆13Jul 17, 2013Updated 13 years ago
- Latest & first public version of my code that monitors the UK Rail Network in real time using Open Data feeds☆12May 6, 2026Updated 5 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Development moved to: https://github.com/scalaz/scalaz/tree/scalaz-seven☆18Nov 13, 2011Updated 14 years ago
- ☆12Sep 26, 2012Updated 14 years ago
- ☆13Dec 27, 2012Updated 13 years ago
- lightweight HTTP server for Scala☆23Sep 12, 2014Updated 12 years ago
- A Cordova application to control MSP-based drone.☆20Oct 13, 2018Updated 8 years ago
- The Leon system for verification, synthesis, repair☆168Mar 18, 2024Updated 2 years ago
- A port of Bryan O'Sullivan's attoparsec from Haskell to Scala☆15Dec 21, 2010Updated 15 years ago