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
Sorting:
- Interop between fs2 and scalaz☆14Feb 9, 2018Updated 8 years ago
- Partial source code for the PEAR website: go-pear.phar, install-pear-nozlib.phar☆20Jan 25, 2026Updated last month
- A remote Scala code evaluator☆14May 16, 2023Updated 2 years ago
- ☆17Feb 25, 2026Updated last week
- An SVG badge generator for Laravel.☆21Mar 13, 2024Updated last year
- A compiler for PCF (Programming Language for Computable Functions) Ported from F# to Scala☆19Mar 7, 2016Updated 9 years ago
- A wrapper of voku/anti-xss for general use☆29Mar 2, 2025Updated last year
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆36Oct 28, 2025Updated 4 months ago
- KORE to llvm translation☆42Oct 15, 2025Updated 4 months ago
- Examples for Vue InstantSearch v1, v2 links: https://github.com/algolia/vue-instantsearch-examples/issues/50☆33May 25, 2019Updated 6 years ago
- ☆30Jan 28, 2026Updated last month
- Material for the course on Programming Languages and Types at University of Marburg☆15Feb 6, 2012Updated 14 years ago
- ⚠️ This package was moved to the http-message package and is abandoned.☆60Dec 31, 2022Updated 3 years ago
- semirings and *-semirings of types in base/haskell-platform☆44May 21, 2024Updated last year
- Enable partial unification support (SI-2712 fix) for scala 2.10/2.11/2.12/2.13☆29Jul 11, 2018Updated 7 years ago
- Haskell typechecker☆39May 7, 2019Updated 6 years ago
- A Stack-Oriented Imperative Programming language☆11Sep 22, 2019Updated 6 years ago
- ☆24Nov 16, 2025Updated 3 months ago
- ReasonML/OCaml language support for Atom-IDE, using ocaml-language-server under the hood.☆34Dec 3, 2022Updated 3 years ago
- Software specification and verification system based on graph rewriting☆37Nov 9, 2022Updated 3 years ago
- Web content for Meren Lab☆11Feb 23, 2026Updated last week
- ☆14Jul 4, 2015Updated 10 years ago
- 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 12 years ago
- The GAP package Digraphs☆45Updated this week
- Symfony polyfill for intl's MessageFormatter class and related functions☆39Aug 19, 2025Updated 6 months ago
- A command retry middleware.☆11Oct 30, 2018Updated 7 years ago
- All artwork for FakerPHP☆10Jan 2, 2021Updated 5 years ago
- GraphQL server with zero configuration.☆12Oct 26, 2019Updated 6 years ago
- A scala implementation of Support Vector Machines☆17Dec 4, 2013Updated 12 years ago
- A simple yet fairly fast scheme byte code interpreter written in ANSI C.☆14Mar 28, 2021Updated 4 years ago
- 8-bit virtual computer☆13Aug 26, 2019Updated 6 years ago
- A GitHub Action that creates a new branch of your PlanetScale database☆12Feb 23, 2024Updated 2 years ago
- A bounded TTL PSR-16 cache implementation☆10Mar 2, 2025Updated last year
- ☆11Sep 12, 2025Updated 5 months ago
- Mirror of Apache Harmony DRLVM☆14Mar 21, 2010Updated 15 years ago
- Airbyte source for PlanetScale databases☆14Nov 25, 2025Updated 3 months ago
- [Talk] How to look like a statistician: a developer's guide to probabilistic programming☆10Sep 18, 2018Updated 7 years ago
- A book detailing how to build command line applications in Rust☆13Mar 25, 2018Updated 7 years ago