☆14Jul 23, 2024Updated last year
Alternatives and similar repositories for SMARTS
Users that are interested in SMARTS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Typeset scattered graph data rewriter based on LaTeX nodes☆13Apr 7, 2021Updated 5 years ago
- Learn cloud computing by developing and deploying a web application. In this tutorial, we create an MVC web application with Julia langua…☆10Jan 22, 2024Updated 2 years ago
- A NREPL client for Protege☆12Nov 29, 2014Updated 11 years ago
- BioMixer☆17May 18, 2016Updated 10 years ago
- d0SL (Delta0 Semantic Language) effectively represents an AI 2.0 platform for autonomous decision making systems based on a semantic mode…☆10Mar 18, 2022Updated 4 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.
- Tools for Design Structure Matrix☆10Jan 25, 2022Updated 4 years ago
- Concept for a fast event system, using JIT and GPU acceleration☆12Feb 8, 2020Updated 6 years ago
- A desktop solution for BPMN modeling☆12Jan 13, 2021Updated 5 years ago
- TPTP python library and benchmarking service☆13Oct 2, 2019Updated 6 years ago
- The General Formal Ontology is a top-level ontology for conceptual modeling. It includes elaborations of categories like objects, process…☆13Dec 1, 2025Updated 6 months ago
- Стиль CSL для библиографии по ГОСТ☆11Mar 16, 2017Updated 9 years ago
- RUSSE: Russian Semantic Evaluation.☆15Mar 1, 2022Updated 4 years ago
- ifcParserLib is a set of reusable Java components that implement functionality for IFC file parsing.☆10Oct 14, 2020Updated 5 years ago
- ☆23May 20, 2026Updated 3 weeks 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.
- WP7: Top Level Project for the toolchain☆28Jan 3, 2016Updated 10 years ago
- A collection of projects around the combination of Robotframework and Camunda☆14Dec 15, 2023Updated 2 years ago
- JSON components for Grasshopper☆11May 9, 2014Updated 12 years ago
- Hard-Forked from JuliaText/TextAnalysis.jl☆17Aug 14, 2023Updated 2 years ago
- Utility to extract literal values from IFC-SPF files☆15Jan 29, 2016Updated 10 years ago
- Specification of System Structure and Parameterization (SSP)☆24May 5, 2026Updated last month
- Object Storage File System☆34Feb 19, 2021Updated 5 years ago
- 🐸 Idiomatic conversion between URIs and compact URIs (CURIEs) in Python☆27May 7, 2026Updated last month
- A flowchart editor that generates source code in Clojure, JavaScript, Lua, Perfolenta, and OneScript☆27Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- UC Berkeley, National Instruments & Autodesk Collaborative Research Project☆23Nov 1, 2016Updated 9 years ago
- notes, config, tools, etc. for kicking the tires on cockroachdb☆11Apr 8, 2025Updated last year
- Julia package for parsing, manipulating and evaluating formulas in first-order logic.☆18Feb 4, 2020Updated 6 years ago
- For hosting ATS3 and developing CodeDepot☆18May 22, 2026Updated 2 weeks ago
- The Charity Public License☆17May 16, 2021Updated 5 years ago
- ☆10Nov 16, 2025Updated 6 months ago
- Sketch complex curves and surfaces in VR☆18May 23, 2026Updated 2 weeks ago
- Implementation of 9P parser and message writer.☆16Aug 15, 2021Updated 4 years ago
- Tool for Behavior Driven Development in Julia☆29May 11, 2026Updated 3 weeks 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.
- minimal miniKanren implementation in Julia☆23May 23, 2017Updated 9 years ago
- Hypergraph Case-Based Reasoning☆12Jun 14, 2018Updated 7 years ago
- Eikōn is an Elixir library providing a read-only interface for image files.☆12Jan 28, 2022Updated 4 years ago
- ☆11Mar 14, 2023Updated 3 years ago
- Basic support for crdt types in ecto☆11Oct 29, 2020Updated 5 years ago
- Wasm based bindings for cue in javascript☆13Dec 8, 2022Updated 3 years ago
- Godot Dungeon Wave Game☆13Feb 21, 2018Updated 8 years ago