Software and Systems Architecture Development Environment
☆17Oct 27, 2015Updated 10 years ago
Alternatives and similar repositories for ArchStudio5
Users that are interested in ArchStudio5 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- Java <-> XSB Prolog bridge library☆12Oct 13, 2020Updated 5 years ago
- H.E.A.T. - Hiccup Enlive Adapter & Transforms☆17Jun 9, 2017Updated 9 years ago
- Logically Qualified Data Types - automatically infer refinement types☆17Aug 24, 2021Updated 4 years ago
- A data structure processing library - validation, response or message generation, etc.; inspired by Metis.☆17Oct 13, 2016Updated 9 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.
- bare minimum chess program☆11Sep 16, 2020Updated 5 years ago
- An Ada binding for Lua.☆46Dec 11, 2023Updated 2 years ago
- ThreadScan runtime support for concurrent data structures in C and C++☆13Jun 1, 2017Updated 9 years ago
- A terminal-based renderer for OpenGL shaders. Like Shadertoy, but in the terminal.☆12Sep 24, 2023Updated 2 years ago
- Research and Innovation Group - 9P library for Clojure☆20Jul 15, 2024Updated 2 years ago
- Implementation of the "Wolfenstein 3D"(1992) game engine from scratch using vanilla C and raylib☆12Sep 29, 2019Updated 6 years ago
- A C++ library for TUIs (terminal user interfaces).☆13Apr 17, 2021Updated 5 years ago
- Fuzz testing for Dafny☆12Jul 7, 2022Updated 4 years ago
- TLA+ and Alloy specs of database isolation☆20Oct 13, 2015Updated 10 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.
- JavaScript Basic Algorithms☆13Aug 15, 2019Updated 7 years ago
- raspberry ada library☆11Jul 7, 2019Updated 7 years ago
- This repository contains a C++ code to convert lidar images from kitti dataset to 2D depth images☆21Jul 31, 2020Updated 6 years ago
- GNU APL port to Android☆16Oct 22, 2014Updated 11 years ago
- Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL☆12Feb 26, 2023Updated 3 years ago
- A build system, libraries, and tools for producing programs for the Game Boy Advance using the Ada programming language.☆12Jul 24, 2023Updated 3 years ago
- Pascal terminal game☆10Sep 13, 2021Updated 4 years ago
- A guide to surviving the technical interviewing process☆15Nov 25, 2014Updated 11 years ago
- Not So Simple Terminal☆21Aug 5, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Introduction to Q, the scripting language for KDB+ databases.☆11Jan 21, 2020Updated 6 years ago
- A toy shell written in Rust☆11Oct 27, 2022Updated 3 years ago
- Slim and fast terminal emulator (124kB linked shared) with minimal external dependencies (Xlib,freetype)☆23Mar 20, 2026Updated 4 months ago
- A Rust implementation for the board game Catan☆13May 6, 2020Updated 6 years ago
- Scrap, the Roguelike - A game of exploding robots☆13Oct 29, 2017Updated 8 years ago
- A TUI text editor written in C++☆12Jun 13, 2022Updated 4 years ago
- Source code of Mathematical Surprises (open access)☆16Mar 24, 2025Updated last year
- A 2D puzzle game inspired by Sokoban☆15Aug 8, 2022Updated 4 years ago
- Dafny verifies proofs; claimcheck confirms intent.☆27Jul 5, 2026Updated last month
- 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.
- survival game for terminal☆11Jul 4, 2025Updated last year
- A scientific calculator utility for CP/M 2.2 (no, really)☆17Feb 17, 2022Updated 4 years ago
- Jscheme (Scheme (in Java (by Peter Norvig)))☆52Jul 30, 2018Updated 8 years ago
- Generate a citation in the BibTeX format from an ISBN (International Standard Book Number) for a publication.☆14Nov 25, 2021Updated 4 years ago
- Traits support to clojure's deftype and defrecord, as a library☆27Jan 8, 2015Updated 11 years ago
- Bad Apple!! for WSwan☆14Jun 25, 2022Updated 4 years ago
- A concise, stand-alone, dependency free, *NIX cross-platform CLI editor written in C, and built from scratch!☆14Jun 10, 2023Updated 3 years ago