Textual, eXecutable, Translatable UML
☆27Jul 3, 2019Updated 7 years ago
Alternatives and similar repositories for txtUML
Users that are interested in txtUML are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Deep embedding of imperative programs with code generation☆23May 26, 2022Updated 4 years ago
- Resource-AWare Feldspar☆38May 27, 2022Updated 4 years ago
- Generic representation and manipulation of abstract syntax☆27Mar 21, 2026Updated 7 months ago
- Functional Linear Algebra with Block Matrices☆11Feb 17, 2022Updated 4 years ago
- Notes about future events and planning☆10Aug 26, 2014Updated 12 years ago
- 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.
- ☆14Apr 9, 2017Updated 9 years ago
- pec embedded compiler☆11Apr 3, 2012Updated 14 years ago
- Core web service☆11Aug 14, 2012Updated 14 years ago
- A Haskell platform for experimenting with content centric networking.☆11Aug 31, 2010Updated 16 years ago
- Tools to support multiple GHC distributions in a Bash shell environment☆14Jul 11, 2019Updated 7 years ago
- Write type-safe shell scripts in Haskell☆14Jan 10, 2020Updated 6 years ago
- Styles for LaTeX, beamer for Chalmers University of Technology☆48Feb 27, 2018Updated 8 years ago
- ☆23Jul 1, 2024Updated 2 years ago
- http://www.cse.chalmers.se/edu/course/afp/☆13Dec 1, 2015Updated 10 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Pure ZeroMQ in Haskell☆12Dec 30, 2012Updated 13 years ago
- ☆15Nov 14, 2014Updated 11 years ago
- ☆13May 2, 2023Updated 3 years ago
- Create text files with content specified in pom.xml (it's possible use maven properties).☆17Aug 24, 2026Updated 2 months ago
- FEAT☆25May 26, 2018Updated 8 years ago
- examples of scripts to edit Wikidata☆11May 9, 2026Updated 5 months ago
- Extract the compiler arguments from a cabal file.☆17Sep 22, 2025Updated last year
- Test.GenCheck Haskell project☆17May 17, 2018Updated 8 years ago
- Command rewriter☆18Sep 28, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A hip inductive theorem prover!☆92Nov 19, 2021Updated 4 years ago
- Code generation utils for LLVM☆22Nov 3, 2014Updated 12 years ago
- Haskell bindings for PETSc and SLEPc☆21Sep 5, 2016Updated 10 years ago
- MPRI-2.4 Dependently-typed Functional Programming☆33Dec 10, 2020Updated 5 years ago
- Github repo backing website for the CS Assistant Professor Handbook☆28Aug 28, 2024Updated 2 years ago
- Automagically (using Template Haskell) generates the Haskell-code you need when using HUnit☆13Jun 20, 2021Updated 5 years ago
- Advent of Slop☆10Dec 22, 2025Updated 10 months ago
- dynamic recompilation and loading of code. A replacement for the old plugins library but now based around the GHC API.☆16Jul 30, 2017Updated 9 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Feb 9, 2021Updated 5 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.
- JDoctest is an implementation of Python's doctest for Java.☆11Updated this week
- cgen generates C interfaces from C++ headers☆22Nov 11, 2016Updated 9 years ago
- Bottom-up project scheduling system based on Joel's Painless Software Schedules☆20Jul 16, 2010Updated 16 years ago
- Haskell tool to automatically bump package versions transitively.☆26May 24, 2016Updated 10 years ago
- Real World Haskell☆30Jul 4, 2012Updated 14 years ago
- Reference of the used configurations and solutions for the search index GVI, which holds over 185,000,000 bibliographic records.☆11Jul 10, 2026Updated 3 months ago
- Simple and high level interface to plugins for hotswapping haskell code.☆22Mar 3, 2014Updated 12 years ago