Interactive Scala REPL in a browser
☆21May 13, 2013Updated 13 years ago
Alternatives and similar repositories for scala-notebook
Users that are interested in scala-notebook are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Interactive Scala REPL in a browser☆737May 18, 2022Updated 4 years ago
- Type debugger that is using logging infrastructure of the scala compiler to gather information and prefuse library for UI.☆17Aug 8, 2012Updated 14 years ago
- Scala Monadic Constraint Solver☆17Nov 3, 2014Updated 11 years ago
- Thin reactive framework to provide and consume REST services☆48Feb 22, 2015Updated 11 years ago
- ☆17Oct 1, 2011Updated 14 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Base library for HoTT in Agda☆39Apr 2, 2019Updated 7 years ago
- Markov Chains for Scala☆87Jul 24, 2016Updated 10 years ago
- an example go json rest api with a postgresql database☆10Jan 31, 2015Updated 11 years ago
- A module for making life a little easier when talking to AWS via Finagle.☆19Apr 30, 2014Updated 12 years ago
- Scala enumeration implementation using type macros☆56Jan 24, 2013Updated 13 years ago
- Spark Vagrant VM definition and runnable examples.☆29Jun 18, 2013Updated 13 years ago
- Postgis extension for Slick☆35Jan 4, 2013Updated 13 years ago
- An old tutorial for using `Effects` in Idris.☆24Sep 10, 2015Updated 10 years ago
- Lift-style CSS selector transforms based on Scalate's Scuery☆10Aug 23, 2012Updated 14 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.
- Looks up scaladoc.☆46Aug 4, 2013Updated 13 years ago
- ☆16Apr 20, 2012Updated 14 years ago
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆127Jun 1, 2023Updated 3 years ago
- ☆83May 10, 2011Updated 15 years ago
- Code to allow running BIDMach on Spark including HDFS integration and lightweight sparse model updates (Kylix).☆16Jul 23, 2020Updated 6 years ago
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Mar 10, 2018Updated 8 years ago
- The repository for RedEyes core.☆68May 13, 2014Updated 12 years ago
- Using Haskell's type system to guarantee commutativity.☆17Aug 1, 2013Updated 13 years ago
- Demonstration using Play!, Akka, AngularJS and Elasticsearch to perform real-time log entry search☆88Nov 2, 2015Updated 10 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.
- Generalized Convolution and Efficient Language Recognition☆18Jul 20, 2019Updated 7 years ago
- Sadnbox of Spark-notebook☆10Mar 19, 2016Updated 10 years ago
- Integrate the GA4GH schemas and probably a scala impl of the service.☆14May 20, 2016Updated 10 years ago
- We fake out your troubles.☆14Oct 14, 2017Updated 8 years ago
- For Building XNU 16.5 from start to finish☆13Apr 15, 2017Updated 9 years ago
- A practical unit-of-measure calculator DSL for Scala☆15May 20, 2016Updated 10 years ago
- slick-play2-example☆27Dec 20, 2013Updated 12 years ago
- Skeleton SBT project for shapeless workshop @ after Scala eXchange 2014☆22Dec 11, 2014Updated 11 years ago
- Finagle SMTP client☆15Oct 2, 2015Updated 10 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆33Dec 10, 2014Updated 11 years ago
- Docker containers with Apache Accumulo and Apache Spark environment.☆12Jan 22, 2016Updated 10 years ago
- (Eventually) a reasonably complete ARM implementation in Haskell☆15Jan 9, 2011Updated 15 years ago
- Learning Haskell: algorithms, data structures, mini-programs, materials, excercises☆17Aug 19, 2019Updated 7 years ago
- Cryptographic Constructions in the Type Theory of Agda☆52Aug 8, 2015Updated 11 years ago
- ☆46Apr 2, 2020Updated 6 years ago
- lightweight HTTP server for Scala☆23Sep 12, 2014Updated 11 years ago