Fork of the Scala repository used for the Dotty backend
☆12Aug 26, 2019Updated 7 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:
- Information Flow Control (IFC) case study for the QuickChick testing plugin for Coq. Includes verification of testing and some other Coq …☆13Nov 3, 2022Updated 4 years ago
- Interop between fs2 and scalaz☆14Feb 9, 2018Updated 8 years ago
- Creates an .editorconfig file for you based on your style!☆11Dec 8, 2022Updated 3 years ago
- play with container☆19Oct 20, 2026Updated 2 weeks ago
- A remote Scala code evaluator☆14May 16, 2023Updated 3 years 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.
- ☆22Jul 11, 2015Updated 11 years ago
- A "Hello, world" of Scaloid for maven.☆14Dec 7, 2015Updated 10 years ago
- Node.js SDK for Dailymotion API☆10Sep 19, 2015Updated 11 years ago
- Create a networkx.DiGraph object from a KEGG pathway file, with python☆11Aug 1, 2014Updated 12 years ago
- ☆18Updated this week
- .NET Reflection Made Fast and Simple ⛺☆28Mar 16, 2021Updated 5 years ago
- ☆10Apr 21, 2014Updated 12 years ago
- An SVG badge generator for Laravel.☆21Aug 12, 2026Updated 2 months ago
- Examples of using Spring with Scala as demonstrated at Spring I/O 2016☆10Jan 26, 2017Updated 9 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 bioinformatics library for Scala☆12Feb 22, 2017Updated 9 years ago
- A compiler for PCF (Programming Language for Computable Functions) Ported from F# to Scala☆19Mar 7, 2016Updated 10 years ago
- Partial source code for the PEAR website: go-pear.phar, install-pear-nozlib.phar☆19Jan 25, 2026Updated 9 months ago
- A platform-agnostic event-based window management library for .NET (Windows/Win32 implementation)☆14Mar 14, 2026Updated 7 months ago
- Study dotty source code using org-mode☆10Jan 10, 2017Updated 9 years ago
- A Modern SQL frontend based on SQL16 with extensions for streaming, graph, rich types, etc, including parser, resolver, rewriters, etc.☆12Sep 18, 2023Updated 3 years ago
- Very very long reads, indeed☆13Apr 30, 2017Updated 9 years ago
- Strain resolved metagenome simulator☆13Aug 11, 2018Updated 8 years ago
- Bash script to download all lecture videos & notes for a particular course on Coursera.org.☆13Dec 25, 2015Updated 10 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.
- A wrapper of voku/anti-xss for general use☆30Mar 2, 2025Updated last year
- Examples for Vue InstantSearch v1, v2 links: https://github.com/algolia/vue-instantsearch-examples/issues/50☆33May 25, 2019Updated 7 years ago
- Web content for Meren Lab☆12Updated this week
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆36May 11, 2026Updated 5 months ago
- Parametric sweep of simulated microbial communities and metagenomic sequencing.☆11Jul 15, 2022Updated 4 years ago
- ☆13Jul 10, 2023Updated 3 years ago
- Haskell typechecker☆39May 7, 2019Updated 7 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
- ReasonML/OCaml language support for Atom-IDE, using ocaml-language-server under the hood.☆34Dec 3, 2022Updated 3 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.
- Example app using Spring 4 with Scala☆18Mar 4, 2014Updated 12 years ago
- Enable partial unification support (SI-2712 fix) for scala 2.10/2.11/2.12/2.13☆29Jul 11, 2018Updated 8 years ago
- akutils with massive updates over v1.1 to functionality and command line interface.☆14Jun 25, 2019Updated 7 years ago
- MetaPORE – Chiu Laboratory, University of California, San Francisco☆12Nov 4, 2015Updated 10 years ago
- A useful type for working with integers modulo some constant.☆30Jun 8, 2023Updated 3 years ago
- An experimental high-level quantum programming language.☆14Oct 29, 2019Updated 7 years ago
- ☆14Jul 4, 2015Updated 11 years ago