Observatory Control Software
☆16Apr 17, 2026Updated this week
Alternatives and similar repositories for ocs
Users that are interested in ocs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Observatory Control Software - New Generation☆32Apr 13, 2026Updated last week
- A definition and reference implementation for MRA in PureScript.☆17Aug 11, 2017Updated 8 years ago
- Implementing Abstract Binding Trees (in Scala, ...)☆19Jan 28, 2016Updated 10 years ago
- encoding of Rúnar's "Reasonably priced monads"☆21Jul 8, 2014Updated 11 years ago
- Helpers to write Jupyter / IPython kernels on the JVM☆22Apr 29, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆18Aug 15, 2015Updated 10 years ago
- Typesafe, loggable, and DRY calculations for the less monadically inclined.☆13Nov 4, 2021Updated 4 years ago
- sbt plugin to run Pamflet (and Pamflet plugin to run sbt)☆11Jan 15, 2017Updated 9 years ago
- ☆25Aug 11, 2014Updated 11 years ago
- Some materials for "The taste of probabilistic programming and modeling" by Oleg Kiselyov at FLOLAC'16☆16Jul 14, 2016Updated 9 years ago
- Asteroids for a web browser, in PureScript☆44Sep 4, 2014Updated 11 years ago
- ☆15May 28, 2016Updated 9 years ago
- Monadic Scala API for CouchDB☆44Jan 13, 2015Updated 11 years ago
- sbt plugin to run shell commands from within the sbt shell☆15Jan 24, 2015Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Type safe delta☆55Nov 11, 2024Updated last year
- Supporting material for ScalaWorld 2015.☆100Sep 21, 2015Updated 10 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 9 years ago
- A Prolog Implementation(Internal DSL, External DSL, REPL) in Scala.☆30Feb 19, 2010Updated 16 years ago
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆33Dec 10, 2014Updated 11 years ago
- TH4J- A wrapper of torch TH library for Java (JVM langauges).☆11Nov 4, 2015Updated 10 years ago
- TFN layers built using Tensorflow 2☆15Jul 15, 2021Updated 4 years ago
- Scala Space website☆14Dec 9, 2019Updated 6 years ago
- Contains a very basic spatial pooler implementation written in scala. Inspired by https://github.com/numenta/nupic☆13Mar 20, 2015Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Ansible to change config or set up additional stuff☆11Dec 1, 2016Updated 9 years ago
- Miniature Quill implementation for Benchmarking and Study☆18Jan 11, 2023Updated 3 years ago
- Shapelaysson = Shapeless + Play-Json☆23Feb 27, 2013Updated 13 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Helpers for setting up an embedded Python interpreter☆20Oct 31, 2025Updated 5 months ago
- ☆17Jan 3, 2025Updated last year
- ☆15Mar 17, 2016Updated 10 years ago
- Philosopher emoji for all your online metaphysical needs.☆15Feb 23, 2018Updated 8 years ago
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 9 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.
- ☆12Oct 3, 2020Updated 5 years ago
- A framework for PSL inference.☆21Nov 9, 2015Updated 10 years ago
- An implementation of Racket's Scribble in Clojure☆22Sep 20, 2013Updated 12 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- ☆13Apr 13, 2026Updated last week
- prototype postgres back-end for ocs☆15Jun 2, 2022Updated 3 years ago