A small web-app for training of ecg axis deviation.
☆23Feb 5, 2024Updated 2 years ago
Alternatives and similar repositories for ecgaxistrainer
Users that are interested in ecgaxistrainer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- Demystifying the magic of supertactics☆13Nov 2, 2021Updated 4 years ago
- Untyped Multistack Concatenative Calculus☆11Feb 25, 2022Updated 4 years ago
- Port of the code from Typing Haskell in Haskell to Rust☆13Nov 10, 2013Updated 12 years ago
- Linear Algebra☆10Dec 1, 2019Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 9 years ago
- ☆10Feb 22, 2018Updated 8 years ago
- SML implementation of System T from PFPL.☆11Jun 28, 2017Updated 9 years ago
- Explaining category theory by example☆10Jun 30, 2017Updated 9 years ago
- egraphs-good website☆17Mar 10, 2026Updated 7 months ago
- Type safe SQL query combinator in haskell☆10Jun 20, 2020Updated 6 years ago
- a DSL that blocks AI mistakes via proof☆15Updated this week
- 👨🏻💻 A Hands-on Approach to Hacking Coding Interviews☆10Jun 16, 2025Updated last year
- Slack bot in Elm running on AWS Lambda☆11Oct 28, 2015Updated 11 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.
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 3 years ago
- Temporal Logic of Actions Modeling for Python☆11Mar 27, 2021Updated 5 years ago
- A very very very.... basic OS for self-learning purposes. This is not a project, just an attempt.☆10Jan 6, 2021Updated 5 years ago
- Alternative UI for Open API (fka Swagger) specs☆17Nov 1, 2019Updated 6 years ago
- Learn the structure of a programming language from examples. "Brain the size of a planet and they just have me reading code"☆18Nov 7, 2018Updated 7 years ago
- the dynabook but for haskell☆23Sep 23, 2019Updated 7 years ago
- Standard library for the Formality language☆18Mar 22, 2020Updated 6 years ago
- Yet another EC2 instance metadata mocking service.☆17Feb 25, 2018Updated 8 years ago
- CS1 through Type Theory☆17Jan 4, 2017Updated 9 years 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.
- OCaml bindings to the Spotify web API☆17Oct 24, 2020Updated 6 years ago
- A tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.☆15Oct 1, 2021Updated 5 years ago
- Power up your text processing via macros☆15Jul 31, 2022Updated 4 years ago
- Runno WASI runtime.☆11Jan 2, 2024Updated 2 years ago
- Grove starter kit for TI LaunchPad(MSP430/CC3200 etc).☆17Oct 8, 2024Updated 2 years ago
- Odin Programming Language☆14Oct 6, 2026Updated 3 weeks ago
- ☆14Sep 7, 2026Updated last month
- Interactive, web-based visual math assistant☆15Apr 2, 2026Updated 6 months ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated last year
- 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.
- MiNT is Not TOS: a multitasking OS for the Atari ST☆16Apr 29, 2015Updated 11 years ago
- Design, play with, and analyze sequent calculus proof systems.☆16Sep 5, 2024Updated 2 years ago
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆23Mar 29, 2023Updated 3 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆24Feb 5, 2013Updated 13 years ago
- Editor is an experimental HTTP/HTTPS server exposing webpages that can still be modified from the browser.☆21Oct 2, 2023Updated 3 years ago
- Another jsbin but using ES Module☆15Jan 21, 2021Updated 5 years ago
- Utilities to work with protocol handlers (like "vscode://") on the web.☆13Aug 22, 2022Updated 4 years ago