sail
ISA definition tool
A language and tool suite for defining instruction-set architectures and generating emulators, documentation, and verification tools.
Sail architecture definition language
640 stars
35 watching
120 forks
Language: Isabelle
last commit: about 1 month ago
Linked from 1 awesome list
coq-community/awesome-coqRelated projects:
| Repository | Description | Stars |
|---|---|---|
 vinistock/sail | An engine that brings an admin panel to manage configuration settings on a live app | 508 |
 michaelgena/rebby | A JavaScript-based tool for automating repetitive tasks in software development. | 1 |
 vesselize/vesselize | A JavaScript container for managing application dependencies and providing a structured way to organize and reuse code. | 24 |
 reimunotmoe/ydotool | A command-line automation tool for interacting with graphical user interfaces without an X11 interface. | 1,547 |
 erlang/rebar3 | A tool that simplifies the process of building and releasing Erlang applications and systems in a consistent and repeatable manner. | 1,708 |
 athena-oss/athena | An automation platform that automates common tasks using a declarative framework and plugin architecture. | 92 |
 happyseafox/sail | A cross-platform image decoding library providing a comprehensive API for loading and saving images in various formats | 311 |
 sailfishos-chum/main | A community repository for compiling and packaging SailfishOS software from source code | 26 |
 autopilot-rs/autopilot-rs | Automates GUI interactions across multiple platforms using a Rust-based API | 382 |
 rejeep/prodigy.el | An Emacs plugin for managing external services from within the text editor. | 555 |
 getjobber/atlantis | A design system framework for building reusable UI components | 28 |
 av/harbor | A toolkit for running Large Language Models and their services from one command. | 580 |
 rsms/wlang | Develops an assembler and compiler for a programming language | 46 |
 ohmjs/ohm | A toolkit for building parsers and compilers using parsing expression grammars | 5,017 |
| rsms/co | Developing a statically typed, general-purpose programming language with an optimizing compiler | 151 |