Tarski's world: semantics of first-order logic
☆11Oct 13, 2026Updated 2 weeks ago
Alternatives and similar repositories for tarski
Users that are interested in tarski are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Logical Frameworks Class☆12Feb 29, 2024Updated 2 years ago
- Open-source revenue recognition & analytics for Stripe and Metronome. Built by ex-Stripe engineers.☆19Oct 8, 2026Updated 2 weeks ago
- Abstract thinking patterns and problem decomposition / solving strategies☆64Jul 14, 2026Updated 3 months ago
- Scalapptainer: A cross-platform Scala wrapper around Apptainer☆14Sep 6, 2026Updated last month
- Example on how to use Vite with Scala.js☆10Sep 25, 2025Updated last year
- 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.
- standalone application with scala native☆11Jun 5, 2023Updated 3 years ago
- Keyed Semaphore Implementation☆11Sep 26, 2026Updated last month
- Working through "Modern Systems Programming with Scala Native" by Richard Whaling, in Scala 3☆29Apr 7, 2026Updated 6 months ago
- supreme-octo-adventure☆10May 2, 2016Updated 10 years ago
- An opinionated production-ready PlayFramework template that makes you productive.☆25Oct 16, 2026Updated last week
- Example SBT plugins☆14Oct 18, 2012Updated 14 years ago
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆28Feb 16, 2022Updated 4 years ago
- Avro support for Scalding☆14Dec 15, 2013Updated 12 years ago
- Probabilistic Data Structures☆14Sep 26, 2026Updated last month
- 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.
- Maven plugin for generating Scala case classes and ADTs from Apache Avro schemas, datafiles, and protocols☆10Sep 7, 2023Updated 3 years ago
- Java Time For Cats-Effect☆14Sep 26, 2026Updated last month
- A simple Heroku app template for deploying Dat☆16Jul 27, 2015Updated 11 years ago
- Mechanized metatheory of LF in Twelf.☆16Jun 3, 2012Updated 14 years ago
- Boilerplate utilizing Statiq and Kontent.ai to provide a starting point in the Jamstack world for .NET developers.☆11Sep 26, 2023Updated 3 years ago
- GAPT: General Architecture for Proof Theory☆112Oct 16, 2026Updated last week
- An sbt plugin to organize your build using plain Scala files☆31Mar 19, 2023Updated 3 years ago
- Unique Functional Values for Scala☆16Sep 3, 2024Updated 2 years ago
- Code for creating and querying an Avro encoded repository of the UC Berkeley Enron email archive☆19May 21, 2012Updated 14 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- An experimental language server for SomewhatML☆24Dec 30, 2022Updated 3 years ago
- A chess program written in Scala☆20Jul 21, 2020Updated 6 years ago
- sbt plugin for adding/updating license headers in source files☆16Sep 7, 2021Updated 5 years ago
- Distributed Concurrent State Machines with Rediculous/Redis☆23Sep 26, 2026Updated last month
- Transform your pdfs into anki flashcard with gpt☆12Jun 10, 2024Updated 2 years ago
- Delving into Free Monads and using them to write pure functional web applications☆17Jul 29, 2017Updated 9 years ago
- ☆37Oct 16, 2026Updated last week
- Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive…☆24Dec 12, 2021Updated 4 years ago
- Gradle plugin for generating scala case classes from apache avro schemas, datafiles and protocols☆12Aug 27, 2026Updated 2 months 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.
- Add Support For Testing with TestContainers with Specs2☆16Sep 26, 2026Updated last month
- Minimal Vim colorschemes☆15Apr 10, 2026Updated 6 months ago
- Sbt plugin for avro4s☆20May 30, 2018Updated 8 years ago
- Guides for developers, sysadmins, power users☆17Apr 7, 2026Updated 6 months ago
- Parser Combinators of Monad☆40Nov 25, 2020Updated 5 years ago
- Code listings for Modern Fortran: Building Efficient Parallel Applications☆44Mar 24, 2020Updated 6 years ago
- A blazor server app hosted in a Docker Container☆11Jun 21, 2022Updated 4 years ago