A low-level virtual machine for mobile code
☆12Sep 23, 2017Updated 8 years ago
Alternatives and similar repositories for idel
Users that are interested in idel are comparing it to the libraries listed below
Sorting:
- AIX5-IA64: A modest collection of compiled software for IBM AIX 5.1L for Itanium (IA-64), previously known as Project Monterey.☆14Oct 30, 2022Updated 3 years ago
- A lisp dedicated to bnl intended for use under 2.11BSD on a PDP-11☆21Dec 20, 2022Updated 3 years ago
- Tiny Object Run Time☆24May 24, 2015Updated 10 years ago
- The Pascal-F Verifier☆51Jul 17, 2017Updated 8 years ago
- Codegen's SmartFirmware implementation of OpenFirmware☆33Jan 15, 2016Updated 10 years ago
- a self-hosting lambda calculus compiler☆37Mar 31, 2025Updated 11 months ago
- Specification to describe the minimum information standard for online community data. Guidelines for describing data about online communi…☆11Sep 19, 2016Updated 9 years ago
- A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI☆48Feb 16, 2026Updated last week
- Security research organization dedicated to finding low hanging, critical, vulnerabilities.☆15May 12, 2022Updated 3 years ago
- Documenting what I've learned through tech reading☆10Sep 20, 2016Updated 9 years ago
- ☆17Jan 3, 2025Updated last year
- ⚡ Running online SfM 🌐 while capturing images 📸☆27Sep 27, 2025Updated 5 months ago
- Find the points, associated with the svg path of an arbitrary image, in a fast and easy way.☆13Jul 30, 2020Updated 5 years ago
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- ☆12Updated this week
- Website for The State of FOSS in India report.☆10Aug 20, 2021Updated 4 years ago
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 2 years ago
- A full featured CLI app to download subtitles from opensubtitles.org.☆13Apr 12, 2022Updated 3 years ago
- Federal Cloud Computing Strategy Website☆15Oct 6, 2022Updated 3 years ago
- A game for Lounge's game jam☆10Mar 22, 2015Updated 10 years ago
- Android pin cracker☆13Mar 25, 2022Updated 3 years ago
- The frontend app of Mailcow's CowUI web interface☆12Apr 29, 2024Updated last year
- Open Source License Compliance Checklists☆11Oct 18, 2024Updated last year
- A fork of the disktype disk and disk image format detection tool☆11Nov 16, 2016Updated 9 years ago
- bare minimum chess program☆11Sep 16, 2020Updated 5 years ago
- CrazyDiskInfo is an interactive TUI S.M.A.R.T viewer for Unix systems.☆10Aug 9, 2022Updated 3 years ago
- Docker based RELK stack (Rabbitmq, Elastic, Logstash, Kibana)☆13Mar 7, 2018Updated 7 years ago
- Solaris System Administration scripts from BigAdmin and other public sources☆13Dec 26, 2023Updated 2 years ago
- Integrated model to calculate the effects of resilient foods in catastrophic events☆11May 20, 2025Updated 9 months ago
- A Multipath TCP python support library 🐍☆10Feb 5, 2023Updated 3 years ago
- Unix-like operating system for CNC / Machine Control applications☆10Jun 12, 2018Updated 7 years ago
- Syllabus for "Anthropology of Silicon Valley(s)" course☆16Apr 24, 2017Updated 8 years ago
- ☆10Feb 3, 2025Updated last year
- Example showing usage of LD_PRELOAD environment variable in UNIX☆10Aug 9, 2022Updated 3 years ago
- An example of how a driver can register a handle creation callback.☆16Jun 12, 2023Updated 2 years ago
- Background materials for the article "Productivity Assessment of Neural Code Completion"☆13Jul 11, 2023Updated 2 years ago
- ARCHIVED Custom script to convert odt (and any supported OpenOffice Text document) into mardown☆10Jul 17, 2023Updated 2 years ago
- HTA Console is a basic but practical Javascript Console Log to help debugging HTML Applications.☆13Aug 1, 2017Updated 8 years ago
- Command line-based python virtualbox bindings.☆14May 25, 2014Updated 11 years ago