Fork of the Scala repository used for the Dotty backend
☆13Aug 26, 2019Updated 6 years ago
Alternatives and similar repositories for scala
Users that are interested in scala are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Interop between fs2 and scalaz☆14Feb 9, 2018Updated 8 years ago
- A remote Scala code evaluator☆14May 16, 2023Updated 3 years ago
- ☆18Updated this week
- Partial source code for the PEAR website: go-pear.phar, install-pear-nozlib.phar☆20Jan 25, 2026Updated 5 months ago
- An SVG badge generator for Laravel.☆21Mar 13, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Bash script to download all lecture videos & notes for a particular course on Coursera.org.☆13Dec 25, 2015Updated 10 years ago
- This project provides a series of modules which enable functions of the Vascular Modeling Toolkit (http://www.vmtk.org) in 3D Slicer (htt…☆16Mar 22, 2013Updated 13 years ago
- Examples for Vue InstantSearch v1, v2 links: https://github.com/algolia/vue-instantsearch-examples/issues/50☆33May 25, 2019Updated 7 years ago
- Parametric sweep of simulated microbial communities and metagenomic sequencing.☆11Jul 15, 2022Updated 3 years ago
- A compiler for PCF (Programming Language for Computable Functions) Ported from F# to Scala☆19Mar 7, 2016Updated 10 years ago
- Examples of using Spring with Scala as demonstrated at Spring I/O 2016☆10Jan 26, 2017Updated 9 years ago
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆37May 11, 2026Updated last month
- Study dotty source code using org-mode☆10Jan 10, 2017Updated 9 years ago
- Web content for Meren Lab☆11Updated this week
- 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 Modern SQL frontend based on SQL16 with extensions for streaming, graph, rich types, etc, including parser, resolver, rewriters, etc.☆12Sep 18, 2023Updated 2 years ago
- Very very long reads, indeed☆13Apr 30, 2017Updated 9 years ago
- MetaPORE – Chiu Laboratory, University of California, San Francisco☆12Nov 4, 2015Updated 10 years ago
- Haskell typechecker☆39May 7, 2019Updated 7 years ago
- ReasonML/OCaml language support for Atom-IDE, using ocaml-language-server under the hood.☆34Dec 3, 2022Updated 3 years ago
- semirings and *-semirings of types in base/haskell-platform☆45May 21, 2024Updated 2 years ago
- ☆14Jul 4, 2015Updated 11 years ago
- Enable partial unification support (SI-2712 fix) for scala 2.10/2.11/2.12/2.13☆29Jul 11, 2018Updated 7 years ago
- akutils with massive updates over v1.1 to functionality and command line interface.☆15Jun 25, 2019Updated 7 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆30Jun 25, 2026Updated last week
- A GitHub Action that creates a new branch of your PlanetScale database☆12Feb 23, 2024Updated 2 years ago
- Crowd source for code used in the lectures of Functional Programming Principles in Scala☆10Aug 30, 2016Updated 9 years ago
- Mindstorms EV3 Hello World in Scala☆17Jan 14, 2015Updated 11 years ago
- Software specification and verification system based on graph rewriting☆37Nov 9, 2022Updated 3 years ago
- A pipeline for Human GWAS analysis that accomodates both Affymetrix (raw .CEL files) and Illumina (Plink binaries) data☆13May 14, 2018Updated 8 years ago
- Classes for foldable and traversable data structures☆51Oct 9, 2023Updated 2 years ago
- ☆11Sep 12, 2025Updated 9 months ago
- PhylOTU identifies microbial OTUs from metagenomic data☆24May 16, 2013Updated 13 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A Twitter handle parser for Laravel 5.☆12Oct 30, 2018Updated 7 years ago
- ☆11Dec 7, 2015Updated 10 years ago
- Symfony polyfill for intl's MessageFormatter class and related functions☆39May 25, 2026Updated last month
- PHPUnit polyfills☆11Oct 6, 2023Updated 2 years ago
- 🐶chihuahua - tiny & fast rendering library☆13Aug 9, 2016Updated 9 years ago
- ☆22Feb 22, 2018Updated 8 years ago
- A Stack-Oriented Imperative Programming language☆11Sep 22, 2019Updated 6 years ago