ScalaTest plugin for Scala IDE
☆41Jul 4, 2020Updated 5 years ago
Alternatives and similar repositories for scalatest-eclipse-plugin
Users that are interested in scalatest-eclipse-plugin are comparing it to the libraries listed below
Sorting:
- This Guidance demonstrates how to transform architecture diagrams into Infrastructure as Code (IaC) templates using AI, addressing the ch…☆39Updated this week
- Fast.ai online course - https://www.fast.ai/☆12Feb 8, 2020Updated 6 years ago
- pre-release.☆12Jul 15, 2015Updated 10 years ago
- ☆10Aug 10, 2015Updated 10 years ago
- A single point of reference to guide all software development across HMRC.☆11Feb 13, 2026Updated 3 weeks ago
- Spark Operations Research☆11Sep 21, 2016Updated 9 years ago
- A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclip…☆15Jul 10, 2014Updated 11 years ago
- Learn the Design of a 6-stage pipelined RISC-V CPU☆17Oct 22, 2025Updated 4 months ago
- An extensible home automation framework☆70Sep 30, 2015Updated 10 years ago
- ☆11Jun 19, 2024Updated last year
- A python library for indexing and querying PDFS with a few lines of code.☆10Jun 27, 2023Updated 2 years ago
- Proof of concept code for VoteAgain paper☆10Jul 23, 2023Updated 2 years ago
- Testing framework for C++ template metaprograms☆11May 12, 2015Updated 10 years ago
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 6 years ago
- Google FSI Accelerator Pattern☆13Jun 18, 2024Updated last year
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago
- A Campfire protocol plugin for libpurple (Pidgin)☆48Apr 4, 2013Updated 12 years ago
- My dotfiles.☆12Oct 10, 2025Updated 4 months ago
- Sets of Half-Average Nulls Generate Risk-Limiting Audits: tools for assertion-based risk-limiting election audits☆11Jul 17, 2025Updated 7 months ago
- MogileFS Server class for representing networks based on host IPs☆26Oct 19, 2019Updated 6 years ago
- Create P2P apps between browsers☆13Dec 30, 2022Updated 3 years ago
- A domain specific language for requirements engineering. Besides the DSL, the REL framework contains Python integration, and a Visual Stu…☆11Apr 24, 2022Updated 3 years ago
- Contentful CMS to Hugo using Foopipes☆10May 5, 2017Updated 8 years ago
- Recopilatorio del grupo python-madrid-learn de documentación, manuales y tutoriales☆12Mar 13, 2018Updated 7 years ago
- Yeoman generator for Metalsmith☆13Nov 12, 2015Updated 10 years ago
- JavaScript crumbs for beginners☆21Mar 10, 2013Updated 12 years ago
- A starter skeleton bash script to use as a template☆17Oct 10, 2014Updated 11 years ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆18Jun 21, 2015Updated 10 years ago
- ☆13Oct 30, 2020Updated 5 years ago
- Sample Python code for driving an HTML-based hypermedia API☆36Jun 27, 2013Updated 12 years ago
- ☆13Oct 18, 2017Updated 8 years ago
- agenda-notifier.̶e̶l̶ go is a basic notification daemon for org-mode agenda,☆12Sep 5, 2023Updated 2 years ago
- Ruby Hardware Description Language☆15Mar 13, 2013Updated 12 years ago
- Rust bindings for libstrophe a C library for XMPP client and component communication☆11Jun 15, 2017Updated 8 years ago
- Amazon F1-inspired Xilinx VCU118 hardware design framework☆13Jan 4, 2021Updated 5 years ago
- Scala Academy☆11Jun 2, 2022Updated 3 years ago
- A mirror of https://git.tecosaur.net/tec/pdftotext.el☆12Jan 4, 2024Updated 2 years ago
- A spinner that hides encapsulated views while data is loading☆11Dec 14, 2016Updated 9 years ago
- Extending Kubernetes Workshop☆14Jul 14, 2023Updated 2 years ago