A language agnostic collaborative cloud IDE
☆19Apr 20, 2015Updated 11 years ago
Alternatives and similar repositories for clide2
Users that are interested in clide2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Problem solving à la carte☆22Apr 11, 2022Updated 4 years ago
- Module for PlayFramework 2.0 making it really easy to use DDSL☆20Apr 22, 2014Updated 12 years ago
- Sadnbox of Spark-notebook☆10Mar 19, 2016Updated 10 years ago
- Serialise and deserialise classes using scala.meta☆16Sep 20, 2017Updated 8 years ago
- A Scala.js port of the Snabbdom virtual DOM library☆18Aug 12, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Search GitHub repositories☆15Apr 19, 2018Updated 8 years ago
- ☆16Apr 7, 2015Updated 11 years ago
- Data Science with Apache Spark and Spark Notebook☆30Jul 24, 2017Updated 9 years ago
- Dashboard webapp written in scalajs☆25Jan 10, 2018Updated 8 years ago
- A Logic Framework in Scala☆15Aug 13, 2015Updated 10 years ago
- A Scala library which talks to Isabelle (DISCONTINUED)☆38Sep 25, 2020Updated 5 years ago
- Actor system for Scala.js☆102Mar 30, 2018Updated 8 years ago
- AnceTran2.0: R package for transcriptome evolution analysis based on RNA-seq expression data or ChIP-seq TF-binding data☆12May 19, 2019Updated 7 years ago
- Facade for the codemirror☆10Jul 15, 2017Updated 9 years 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.
- SBT based IntellJ plugin template project☆34Jan 22, 2025Updated last year
- Scala utility to make print line debugging easier☆14Jul 3, 2021Updated 5 years ago
- Automatic implicit conversions and extensions functions for the Android framework in Scala☆11Jul 13, 2016Updated 10 years ago
- Program verification with F* course materials☆12Jul 6, 2019Updated 7 years ago
- ☆11Nov 27, 2024Updated last year
- Graphviz Scala bindings☆54Dec 13, 2016Updated 9 years ago
- WOOT model for Scala and JavaScript via Scala.js☆103Jul 3, 2016Updated 10 years ago
- 🦅 VSCode extension for F* with IDE features☆16Mar 21, 2020Updated 6 years ago
- A Parboiled2 based Parser for the W3C RDF 1.1 TriG-, Turtle-, N-Triples- and Quad-Languages for Scala, Java and JavaScript☆10Sep 5, 2017Updated 8 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.
- A forgiving Json lense☆19Jul 13, 2019Updated 7 years ago
- Provides various cryptographic functions for scala.☆13Mar 7, 2019Updated 7 years ago
- The repository for RedEyes core.☆68May 13, 2014Updated 12 years ago
- A pure Scala implementation of the Git version control written from scratch.☆25Apr 21, 2014Updated 12 years ago
- Formalisation of Goedel's System T in Coq☆15Jul 1, 2011Updated 15 years ago
- Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%☆17Jun 23, 2017Updated 9 years ago
- A sbt plugin that adds scala-notebook capabilities to sbt projects☆28Apr 15, 2015Updated 11 years ago
- New Harvest in-incubator perfusion system for cellular agriculture and biomedical engineering☆15Oct 23, 2024Updated last year
- Syntax highlighting for F* in Atom Editor☆11Oct 4, 2021Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Spark Vagrant VM definition and runnable examples.☆29Jun 18, 2013Updated 13 years ago
- Paxos protocol in Akka☆25Jan 31, 2016Updated 10 years ago
- ☆14Feb 19, 2016Updated 10 years ago
- Immutable DataTable implementation in Scala☆70Dec 30, 2019Updated 6 years ago
- ☆16Jul 1, 2015Updated 11 years ago
- Client for the Cromwell workflow engine☆17Mar 7, 2024Updated 2 years ago
- Scala 2.10 macros that help you delegate to other methods declaratively☆16Feb 17, 2014Updated 12 years ago