☆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:
- Some plug and play distributions for GraphViz☆18Feb 11, 2025Updated last year
- WIP☆19Mar 14, 2020Updated 5 years ago
- meta.plasm.us☆32Dec 11, 2021Updated 4 years ago
- Beat for Java HotSpot VM☆25Jan 3, 2017Updated 9 years ago
- PDFs and other information of my talks in the past☆30Feb 9, 2026Updated last month
- Mastodon server running for the Doubanius Tertius project☆10Apr 4, 2022Updated 3 years ago
- A big data cluster management tool that creates and manages clusters of different technologies.☆21Apr 20, 2015Updated 10 years ago
- Checker for "morally correct" induction proofs about haskell programs☆31Mar 9, 2022Updated 4 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 last year
- A haskell wrapper for neo4j's Cypher REST API.☆20Jul 31, 2012Updated 13 years ago
- Concurrent algorithms in Haskell using software transactional memory (STM monad)☆14Jan 5, 2023Updated 3 years ago
- An simplest PE parser, which list all import and export entries☆12Oct 11, 2018Updated 7 years ago
- 本工具是用于下载 拷贝漫画 的工具 有多线程下载漫画&自动转换成Pdf的功能!☆12Mar 20, 2023Updated 2 years ago
- Base Variability Resolution (BVR) metamodel, engine and editors☆11Sep 4, 2018Updated 7 years ago
- A web-based application for authoring BPMN 2.0 process specifications☆15Jun 15, 2016Updated 9 years ago
- Build Your Own Neural Network Design☆14Aug 3, 2020Updated 5 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Jan 28, 2021Updated 5 years ago
- Deep Rock Galactic mod loader and integration☆11Aug 28, 2024Updated last year
- ✍️ 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 month
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- ☆10Sep 18, 2022Updated 3 years 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 8 months ago
- Simplify icon selection with IkonX - your Ikonli icon pack browser.☆11Jan 10, 2026Updated 2 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
- Ratpack support for rxjava2☆11Dec 3, 2018Updated 7 years ago
- redis starter☆13Sep 13, 2017Updated 8 years ago
- Parallel Quantum Annealing☆10Jan 7, 2023Updated 3 years ago
- A course on free/libre and open source software☆11Oct 16, 2025Updated 4 months ago
- Create and modify Word documents with Python☆12Feb 16, 2026Updated 3 weeks ago
- browsing through the looking glass☆10Jul 10, 2023Updated 2 years ago
- TOSCA transformer build by students at the University of Stuttgart☆10Jun 15, 2020Updated 5 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- ☆10Dec 26, 2018Updated 7 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Jul 12, 2017Updated 8 years ago
- A functional programming language. Like LISP but focused around maps rather than lists.☆12Jun 12, 2019Updated 6 years ago
- all wuwa character ids☆13May 16, 2025Updated 9 months ago