plantuml / smetanaView external linksLinks
☆46Mar 31, 2023Updated 2 years ago
Alternatives and similar repositories for smetana
Users that are interested in smetana are comparing it to the libraries listed below
Sorting:
- meta.plasm.us☆32Dec 11, 2021Updated 4 years ago
- Checker for "morally correct" induction proofs about haskell programs☆31Mar 9, 2022Updated 3 years ago
- Mastodon server running for the Doubanius Tertius project☆10Apr 4, 2022Updated 3 years ago
- With This-or-That, prioritizing is fun and fast.☆10Aug 9, 2024Updated last year
- A LibreOffice extension that converts JabRef references to plain text code and vice versa so that you can use your references with MS Off…☆12Aug 15, 2024Updated last year
- Swipe is a code generation tool that automates the creation of repetitively used code☆12Nov 10, 2022Updated 3 years ago
- Clafer is a lightweight modeling language☆48Feb 18, 2025Updated 11 months ago
- The Master Object Model (MOM) is an xAPI profile that denotes how a student's learning can be tracked throught their entire "lifetime" wi…☆12Jul 3, 2025Updated 7 months ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- Simplify icon selection with IkonX - your Ikonli icon pack browser.☆11Jan 10, 2026Updated last month
- Parallel Quantum Annealing☆10Jan 7, 2023Updated 3 years ago
- Stolemojis never die. A collection of Slack emojis from past, present, and future companies.☆10Feb 5, 2026Updated last week
- An simplest PE parser, which list all import and export entries☆12Oct 11, 2018Updated 7 years ago
- Sources and Documentation for the HINT project☆11Feb 5, 2026Updated last week
- Queued copying tool, with ability to sync folders☆14Jan 20, 2026Updated 3 weeks ago
- Information geometry and its extension information topology☆11Dec 2, 2017Updated 8 years ago
- A haskell wrapper for neo4j's Cypher REST API.☆20Jul 31, 2012Updated 13 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- redis starter☆13Sep 13, 2017Updated 8 years ago
- Build Your Own Neural Network Design☆14Aug 3, 2020Updated 5 years ago
- Concurrent algorithms in Haskell using software transactional memory (STM monad)☆14Jan 5, 2023Updated 3 years ago
- A web-based application for authoring BPMN 2.0 process specifications☆15Jun 15, 2016Updated 9 years ago
- ☆10Sep 18, 2022Updated 3 years ago
- ☆10Dec 26, 2018Updated 7 years ago
- TOSCA transformer build by students at the University of Stuttgart☆10Jun 15, 2020Updated 5 years ago
- A course on free/libre and open source software☆11Oct 16, 2025Updated 4 months ago
- ✍️ A browser add-on (Firefox, Chrome, Thunderbird) that allows you to autocorrect common text sequences and convert text characters to a …☆12Feb 9, 2026Updated last week
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Jul 12, 2017Updated 8 years ago
- A GitHub action to run hadolint and reports violations given a Dockerfile within a repository☆13Feb 23, 2024Updated last year
- Get an array of all distinct NaN values supported by the engine. There can be only one!☆12Oct 27, 2022Updated 3 years ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated 5 months ago
- minttp is an experiment to see if I could create a simple and minimal HTTP library without any dependencies.☆11Jan 5, 2018Updated 8 years ago
- ☆13Nov 22, 2019Updated 6 years ago
- Blazing fast signature detection☆11Sep 5, 2022Updated 3 years ago
- A PowerShell utility to facilitate quick automatic configuration of Windows Sandbox.☆13Feb 5, 2026Updated last week
- Resources for recent AI systems (deployment concerns, cost and accessibility). -- closed☆12May 29, 2021Updated 4 years ago
- Some excersises with luatex's line breaking callback☆16Mar 22, 2023Updated 2 years ago
- Servant based API and server for token based authorisation☆14Sep 21, 2019Updated 6 years ago
- Public key encryption system combining X25519 ephemeral Diffie-Hellman key exchange and STREAM-based symmetric cryptography☆26Sep 17, 2019Updated 6 years ago