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
- 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
- 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
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Thin reactive framework to provide and consume REST services☆49Feb 22, 2015Updated 11 years ago
- ☆17Oct 1, 2011Updated 15 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
- Markov Chains for Scala☆87Jul 24, 2016Updated 10 years ago
- Base library for HoTT in Agda☆39Apr 2, 2019Updated 7 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
- A C adapter for the C++ Tesseract OCR Library (Google).☆13Apr 25, 2014Updated 12 years ago
- an example go json rest api with a postgresql database☆10Jan 31, 2015Updated 11 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.
- mongodb database library using scalaz-stream☆12Apr 28, 2014Updated 12 years ago
- Postgis extension for Slick☆35Jan 4, 2013Updated 13 years ago
- Example on how to use slick-integration with Play☆13Dec 10, 2012Updated 13 years ago
- Playing with time series☆14Aug 27, 2015Updated 11 years ago
- Better scala-mode for Emacs☆14Nov 2, 2012Updated 13 years ago
- Roy plugin for Play 2.0☆12Nov 27, 2012Updated 13 years ago
- 形: exercises in mind-bending Haskell☆14Mar 23, 2013Updated 13 years ago
- Scalaz 7 type class instances for various Scala and Java libraries.☆10Sep 17, 2012Updated 14 years ago
- Tool for generating source code from Scala ASTs☆12Mar 10, 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.
- 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
- Code from my StrangeLoop 2014 Idris presentation.☆13Sep 20, 2014Updated 12 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
- Exposes Redis stream through the command line☆12Jun 28, 2022Updated 4 years ago
- Alternate clean+idiomatic Scala API for the RxJava reactive extensions library☆14Dec 4, 2013Updated 12 years ago
- Automatically georeference old Sanborn Insurance Maps☆21Updated this week
- 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- file system in user space to explore hdf5 files☆21Apr 26, 2024Updated 2 years ago
- Looks up scaladoc.☆46Aug 4, 2013Updated 13 years ago
- Translator from GHC Core to Isabelle/HOLCF☆16May 2, 2012Updated 14 years ago
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆127Jun 1, 2023Updated 3 years ago
- aggregate tweets and IRC to project on screen☆12Aug 25, 2014Updated 12 years ago
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆33Dec 10, 2014Updated 11 years ago
- Map tile server for streaming images shipped as MBTiles☆14Oct 16, 2013Updated 13 years ago