VS Code extension adding support for Leslie Lamport's TLA+ language
☆14Oct 30, 2017Updated 9 years ago
Alternatives and similar repositories for vscode-tilapia
Users that are interested in vscode-tilapia are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Thor Hammer and a way to express invokedynamic in Java☆17Sep 23, 2020Updated 6 years ago
- Sequoia is Java library for scoring and evaluating decision trees☆13Jun 28, 2015Updated 11 years ago
- HM type system on a very restricted subset of JS☆13May 13, 2018Updated 8 years ago
- Haskell libraries for working with the Stripe API☆21Jan 26, 2025Updated last year
- Support for file uploads in multipart/form-data for servant☆40Sep 25, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆11Aug 28, 2015Updated 11 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Aug 1, 2014Updated 12 years ago
- A small library for managing sets of JVM properties to configure an app or library.☆14Nov 22, 2021Updated 4 years ago
- A Purescript interface to xstream☆11Nov 11, 2017Updated 9 years ago
- Supplementary code for Type Classes projects☆25Mar 4, 2020Updated 6 years ago
- Haskell library to parse a subset of Ruby objects serialised with Marshal.dump☆32May 16, 2026Updated 5 months ago
- Moses Gunesch's rendering library for ActionScript☆16Dec 14, 2009Updated 16 years ago
- Clojure/Kilim integration☆11Nov 7, 2011Updated 15 years ago
- Many-to-many broadcasting☆16Oct 11, 2026Updated last month
- 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.
- ☆14Oct 9, 2019Updated 7 years ago
- Simple fiber-blocking HTTP/websocket client and server Clojure APIs based on puniverse's Pulsar and Gniazdo☆12Oct 10, 2014Updated 12 years ago
- Authentication via encrypted cookies☆24Jan 7, 2020Updated 6 years ago
- Streaming effects for PureScript☆16Nov 8, 2021Updated 5 years ago
- because nobody really wants to eat boiled silkworms☆13Sep 4, 2017Updated 9 years ago
- RxJava bindings for Quasar☆16Jun 25, 2015Updated 11 years ago
- ☆10Sep 24, 2015Updated 11 years ago
- Fork of One-JAR from one-jar.sourceforge.net☆12Dec 9, 2011Updated 14 years ago
- Alternate clean+idiomatic Scala API for the RxJava reactive extensions library☆14Dec 4, 2013Updated 12 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A Class Loader that works on a Java 7 (JSR-203) file system path.☆13Jul 10, 2025Updated last year
- CCS in C++☆26Jun 27, 2023Updated 3 years ago
- Lightweight threads for Java, with message passing, nio, http and scheduling support.☆11Oct 7, 2013Updated 13 years ago
- React hook combining a simplified usage of useReducer and redux-observable-ish epics for side-effects.☆15Dec 8, 2022Updated 3 years ago
- RSpec for Java 8☆13Dec 9, 2013Updated 12 years ago
- Example project for coveralls-cmake☆20Mar 10, 2015Updated 11 years ago
- Clojure wrappers around the immutable Guava collections☆16May 8, 2012Updated 14 years ago
- Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.☆16Feb 14, 2015Updated 11 years ago
- effect-ts Law Testing☆18Jul 29, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Externs of Chart.js for Haxe☆13Feb 8, 2016Updated 10 years ago
- Provides type safe usage of Twitter Bootstrap components for building advanced web applications!☆17Oct 1, 2015Updated 11 years ago
- DEPRECATED☆12Jan 17, 2016Updated 10 years ago
- ☆14Nov 5, 2018Updated 8 years ago
- A fluent API for generating Java byte code☆14Apr 4, 2013Updated 13 years ago
- A fork of the "hprof" JVMTI demo from OpenJDK, which instruments JVM bytecode via the JVMTI APIs.☆14Dec 7, 2010Updated 15 years ago
- Zero-dependency Java 25+ source files designed as starting points for your projects. Run directly with java filename.java—no compilation…☆18Updated this week
Are these results useful?