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:
- Scalaz-7 typeclasses for Akka☆12Jan 23, 2013Updated 13 years ago
- Experiments with implicit macros from scalamacros/kepler.☆14Feb 2, 2013Updated 13 years ago
- Interactive Scala REPL in a browser☆736May 18, 2022Updated 4 years ago
- Simple HTTP Client, wraps Apache HttpClient 4.0 to provide an easy to use Scala API☆11Oct 5, 2011Updated 15 years ago
- Scala Monadic Constraint Solver☆17Nov 3, 2014Updated 12 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.
- Thin reactive framework to provide and consume REST services☆49Feb 22, 2015Updated 11 years ago
- ☆17Oct 1, 2011Updated 15 years ago
- Markov Chains for Scala☆87Jul 24, 2016Updated 10 years ago
- A module for making life a little easier when talking to AWS via Finagle.☆19Apr 30, 2014Updated 12 years ago
- Spark Vagrant VM definition and runnable examples.☆29Jun 18, 2013Updated 13 years ago
- Scala enumeration implementation using type macros☆56Jan 24, 2013Updated 13 years ago
- An experimental type theory with scoped equality reflection, and non-arbitrary proof search. This is basically a pared down version of An…☆12Jul 27, 2014Updated 12 years ago
- A collection of IDA scripts☆13Aug 11, 2010Updated 16 years ago
- an example go json rest api with a postgresql database☆10Jan 31, 2015Updated 11 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.
- Postgis extension for Slick☆35Jan 4, 2013Updated 13 years ago
- Play Framework SBT Plugin for Auto-Generating Slick Code☆10Sep 11, 2014Updated 12 years ago
- Scalaz 7 type class instances for various Scala and Java libraries.☆10Sep 17, 2012Updated 14 years ago
- Scalaz integration for Play 2.0☆12Nov 29, 2012Updated 13 years ago
- An old tutorial for using `Effects` in Idris.☆23Sep 10, 2015Updated 11 years ago
- monads can compose when distributive law exists.☆10Sep 17, 2012Updated 14 years ago
- Demo app for Apartmentex SaaS library☆15Aug 1, 2017Updated 9 years ago
- CLI for managing personal contacts. Can be agent-driven. Uses CardDAV (apple/fastmail contacts). Your AI agent (or you) checks who you're…☆15Apr 18, 2026Updated 6 months ago
- Exposes Redis stream through the command line☆12Jun 28, 2022Updated 4 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.
- Code to allow running BIDMach on Spark including HDFS integration and lightweight sparse model updates (Kylix).☆16Jul 23, 2020Updated 6 years ago
- A C adapter for the C++ Tesseract OCR Library (Google).☆13Apr 25, 2014Updated 12 years ago
- Scala demo code from my/Edwin Brady's talk "Scala vs. Idris: Dependent types now and in the future" at Strange Loop 2013☆11Sep 20, 2013Updated 13 years ago
- Playing with time series☆14Aug 27, 2015Updated 11 years ago
- Translator from GHC Core to Isabelle/HOLCF☆16May 2, 2012Updated 14 years ago
- Looks up scaladoc.☆46Aug 4, 2013Updated 13 years ago
- Code from my StrangeLoop 2014 Idris presentation.☆13Sep 20, 2014Updated 12 years ago
- ☆11Aug 7, 2013Updated 13 years ago
- ☆83May 10, 2011Updated 15 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- The repository for RedEyes core.☆68May 13, 2014Updated 12 years ago
- Tool for generating source code from Scala ASTs☆12Mar 10, 2017Updated 9 years ago
- ☆17Apr 20, 2012Updated 14 years ago
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆127Jun 1, 2023Updated 3 years ago
- Using Haskell's type system to guarantee commutativity.☆17Aug 1, 2013Updated 13 years ago
- Integrate the GA4GH schemas and probably a scala impl of the service.☆14May 20, 2016Updated 10 years ago
- Demonstration using Play!, Akka, AngularJS and Elasticsearch to perform real-time log entry search☆88Nov 2, 2015Updated 11 years ago
Are these results useful?