Container repository for Rigel architecture tools
☆17Mar 13, 2012Updated 14 years ago
Alternatives and similar repositories for rigel
Users that are interested in rigel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- newT - simple javascript templating☆21Feb 3, 2012Updated 14 years ago
- Simple bot for control and monitoring of servers over IRC☆20Nov 3, 2015Updated 10 years ago
- Sigmoid Numbers backed by IEEE Floats☆17Jul 8, 2017Updated 9 years ago
- ☆12Updated this week
- ☆14Jun 22, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)☆16Jan 26, 2024Updated 2 years ago
- The control panel for your cloud's memory☆35Jun 24, 2016Updated 10 years ago
- A RISC-V RV32 model ready for SMT program synthesis.☆12Jun 23, 2021Updated 5 years ago
- Repo with ScriptableObject examples for Unity☆13Mar 25, 2020Updated 6 years ago
- Semantic Vocab for the Internet of Things☆13Nov 3, 2016Updated 9 years ago
- ☆23Feb 23, 2016Updated 10 years ago
- UVM-SystemC reference implementation☆23Aug 26, 2026Updated last month
- SystemVerilog overhaul of ESP L2 and LLC caches with directory based protocol☆20Sep 25, 2026Updated last week
- RiVer Core is an open source Python based RISC-V Core Verification framework.☆23Jun 16, 2025Updated last year
- 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.
- *RETIRED* A python-based cloud-cluster launch/control tool for AMAZON's EC2☆10Aug 12, 2014Updated 12 years ago
- MV* Todo apps for Backbone.js, JavaScriptMVC, Ember.js, Dojo, Spine.js, YUILibrary, Knockout.js and more☆14Feb 28, 2012Updated 14 years ago
- Transparent compilation of templates and stylesheets for prototyping HTML interfaces. Also live reloading.☆77Sep 18, 2014Updated 12 years ago
- Node RSS EventEmitter☆14Feb 12, 2012Updated 14 years ago
- Naive Educational RISC-V -- A simple single-stage RV32I processor☆28Nov 3, 2020Updated 5 years ago
- Space shooter☆10Jul 21, 2017Updated 9 years ago
- A Lisp based programming language and its compiler☆38Jun 26, 2020Updated 6 years ago
- A simple C++ CMake project to jump-start development of SystemC models and systems☆31Nov 24, 2024Updated last year
- finding set bits in large bitmaps☆15Nov 30, 2015Updated 10 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.
- Torc: Tools for Open Reconfigurable Computing☆40Apr 12, 2017Updated 9 years ago
- ☆51Sep 1, 2021Updated 5 years ago
- Outlet is a simple Lisp-like programming language☆160Jul 9, 2018Updated 8 years ago
- JIT compiler of scheme☆15Jul 29, 2011Updated 15 years ago
- A tutorial to build a Mesos framework that launches a web server in Go☆10May 27, 2016Updated 10 years ago
- Intuitionistic Programming Language☆12Dec 28, 2013Updated 12 years ago
- The application host used by the haibu node.js application deployment / management server.☆69Sep 9, 2013Updated 13 years ago
- ☆26Mar 18, 2021Updated 5 years ago
- CLI for encapsulating multiple projects inside single VM☆12Dec 14, 2016Updated 9 years ago
- 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.
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 10 years ago
- tools to modify go programs☆11Nov 5, 2015Updated 10 years ago
- Glider Labs app framework and development utility☆16Jul 7, 2017Updated 9 years ago
- A distributed key-value data store.☆11Dec 30, 2017Updated 8 years ago
- nginx configuration generator for haibu☆17Aug 18, 2011Updated 15 years ago
- The assets for Ironbane, the open source MMO.☆20Oct 29, 2014Updated 11 years ago
- A compiler for a Scheme-like language. Currently, the goal is not full standards-compliance but rather to implement a compiler that is us…☆14Feb 8, 2025Updated last year