A prototype meta DSL that generates Delite DSL implementations from a specification-like program.
☆52Feb 28, 2017Updated 9 years ago
Alternatives and similar repositories for Forge
Users that are interested in Forge are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Delite Git Repo☆218Feb 28, 2017Updated 9 years ago
- ☆57Feb 19, 2017Updated 9 years ago
- Data-centric metaprogramming for Scala☆17Aug 6, 2015Updated 11 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆13Jul 20, 2017Updated 9 years ago
- ☆23Dec 17, 2013Updated 12 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.
- A port of Bryan O'Sullivan's attoparsec from Haskell to Scala☆15Dec 21, 2010Updated 15 years ago
- purely functional scala github api client☆25Aug 25, 2025Updated last year
- DEFUNCT: use https://bitbucket.org/ermine-language/ermine-scala ; see README☆20May 2, 2015Updated 11 years ago
- A Framework for Runtime Code Generation and Compiled DSLs☆335Feb 27, 2019Updated 7 years ago
- Tutorial programs that illustrate how to use scala-virtualized☆23Aug 28, 2019Updated 7 years ago
- surgical precision JIT compilers☆123Aug 18, 2017Updated 9 years ago
- A work-in-progress game being developed using scala-js☆33Aug 30, 2014Updated 12 years ago
- Mnemonics - Bytecode generation for scala☆22Jan 31, 2013Updated 13 years ago
- Scala REPL with a nice HTML GUI☆48Oct 8, 2010Updated 16 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A Scala library that provides various data structures.☆13May 6, 2019Updated 7 years ago
- ☆10Apr 5, 2015Updated 11 years ago
- A simple bidirectional type checker☆18Feb 27, 2019Updated 7 years ago
- Tutorials on Lightweight Modular Staging☆122Oct 15, 2024Updated 2 years ago
- prototyping logic programming in Scala☆41Mar 25, 2022Updated 4 years ago
- Firefox extension that replaces occurrences of 'Millennials' with 'Snake People'☆16Dec 10, 2015Updated 10 years ago
- scala embedded probabilistic programing library using delimited continuations (VERY Experimental)☆10Sep 10, 2010Updated 16 years ago
- Fine-grained lattice primitives for Haskell☆18Mar 8, 2018Updated 8 years ago
- Choreographic programming in Scala☆10May 19, 2026Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A fast parser combinator library, with extra querying goodness☆35Oct 31, 2016Updated 10 years ago
- Building infinite sequences from anonymous functions using tuples and macros.☆14Sep 16, 2014Updated 12 years ago
- A pragmatic, functional systems programming language.☆43May 18, 2015Updated 11 years ago
- Port of scalaz 6.0.4 geo to the new scalaz 7.0.0☆18Sep 8, 2014Updated 12 years ago
- LFSC Proof Checker☆11Sep 14, 2023Updated 3 years ago
- Erlang implementation built on GraalVM/Truffle☆15May 31, 2019Updated 7 years ago
- Interpreter of (a subset of) the Scheme programming language, in Scala☆29Jun 7, 2013Updated 13 years ago
- Scala.js bindings for TensorFlow.js. Train and deploy ML models in your browser with Scala.☆17Aug 12, 2018Updated 8 years ago
- Get diff from 2 create table sql and generate alter table sql.☆16Feb 27, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Reactive Activate + Play example app☆11Jul 30, 2015Updated 11 years ago
- worst-case optimal join algorithm http://dl.acm.org/citation.cfm?id=2590991☆10Mar 18, 2015Updated 11 years ago
- Scala staging framework☆18Jul 13, 2018Updated 8 years ago
- Bitblasting functions into boolean formulas☆11Oct 17, 2013Updated 13 years ago
- ☆15Mar 24, 2023Updated 3 years ago
- Source code and content for tmg.net☆15Nov 22, 2016Updated 9 years ago
- Deploying things with dependencies to AWS EC2☆17Oct 2, 2017Updated 9 years ago