SKEMA: Scientific Knowledge Extraction and Model Analysis
☆12May 17, 2024Updated 2 years ago
Alternatives and similar repositories for skema
Users that are interested in skema are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ToMCAT: Theory of Mind-based Cognitive Architecture for Teams☆26Updated this week
- AutoMATES: Automated Model Assembly from Text, Equations, and Software☆25Sep 18, 2023Updated 3 years ago
- ☆12Jan 11, 2022Updated 4 years ago
- MIRA: machine-assisted modeling of dynamical systems☆15Oct 6, 2026Updated last month
- ☆20Apr 7, 2025Updated last year
- 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.
- Train transformers on synthetic graph search problems to measure their scaling behavior and to do mechanistic analysis.☆11Oct 22, 2025Updated last year
- Machine reading system for World Modelers☆38Feb 13, 2024Updated 2 years ago
- ☆13Jun 21, 2017Updated 9 years ago
- ☆26Jan 15, 2023Updated 3 years ago
- eGUI for alphanumeric displays (like HD44780)☆12Dec 16, 2014Updated 11 years ago
- Back end for producing indicators and loading them into the COVIDcast API.☆12Updated this week
- A navigation control for egui☆12Oct 18, 2026Updated 2 weeks ago
- Formal grammars in Lean 3☆10Aug 14, 2023Updated 3 years ago
- Rust client to query TMDB API☆14Nov 3, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Provider of SQLite☆13Sep 23, 2026Updated last month
- INDRA World Modelers services☆13Jul 2, 2024Updated 2 years ago
- Make your React components pretty again!☆11Mar 22, 2017Updated 9 years ago
- A rust interface to mailbox of RaspberryPi☆10Jun 25, 2025Updated last year
- Quickstarter kit for a NodeJS application using ClojureScript and Boot☆12Nov 28, 2017Updated 8 years ago
- A protoc-gen-grpc-web binary for npm.☆10May 6, 2024Updated 2 years ago
- An attempt at replicating Deepmind's Neural Turing Machines in Theano☆11Nov 27, 2016Updated 9 years ago
- A terminal emulator written in Rust with egui.☆11Jan 4, 2025Updated last year
- Scala interfaces to huggingface transformers and tokenizers☆13Sep 25, 2026Updated last month
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Interesting ATP Proofs☆13Sep 3, 2021Updated 5 years ago
- The OpenAPI Specification Repository☆12Jul 12, 2023Updated 3 years ago
- Implementation of generative semantic grammar.☆17Jun 2, 2022Updated 4 years ago
- ☆13Nov 30, 2022Updated 3 years ago
- Touch camera for Bevy that supports drag and pinch to zoom☆13Feb 21, 2024Updated 2 years ago
- A decompilation project for the initial Japanese release of Monster Hunter for PS2.☆47Updated this week
- LLMJudge: LLM4Eval workshop data challenge on automatic relevance judgment☆14Jan 6, 2026Updated 10 months ago
- Fast, optimal, extensible and cross-validated heterogeneous piecewise polynomial regression for timeseries☆14May 7, 2026Updated 6 months ago
- KiCad and Gerber files for the Alius 6502 Computer.☆11Feb 24, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- VPN proxy server for nordvpn, personal internet access, windscribe☆19May 26, 2023Updated 3 years ago
- Uncertainty quantification using martingales for misspecified Gaussian processes☆10Feb 15, 2021Updated 5 years ago
- Website for the EPFL course PHYS-642: Statistical Physics for Optimization and Learning☆11Sep 27, 2023Updated 3 years ago
- ☆18Sep 21, 2023Updated 3 years ago
- Rust driver for XPT2046 touch controller☆10May 14, 2024Updated 2 years ago
- 😴 Florida Business Inspections API☆14Aug 3, 2017Updated 9 years ago
- A little experiment to enable deno runtime while building HTTP(S) server☆10May 24, 2020Updated 6 years ago