Pi-Mainframe
ob-ada-spark | Pi-Mainframe | |
---|---|---|
3 | 4 | |
8 | 4 | |
- | - | |
0.0 | 6.9 | |
over 1 year ago | 4 days ago | |
Emacs Lisp | Assembly | |
GNU General Public License v3.0 only | GNU General Public License v3.0 only |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
ob-ada-spark
- ob-ada-spark: Ada/SPARK support for Emacs org-babel
-
Ada/SPARK support in org-Babel
More information in the home page, documentation and screenshots.
-
December 2021 What Are You Working On?
Temporary development (preliminary release) can be found at https://github.com/rocher/ob-ada-spark/.
Pi-Mainframe
-
March 2022 What Are You Working On?
I split the CPU simulations out of my Raspberry Pi Simulated Mainframe to provide more flexibility in their use. The CPU simulations are now in Sim CPU. In addition to the simple simulator that just blinks the lights in interesting ways, I have an 8080 simulator (and some simulated devices) more or less working. I am hoping to actually be able to boot CP/M on it before too long.
-
February 2022 What Are You Working On?
I've split "simulators" out of my Raspberry PI Mainframe Simulator. In addition, since I have an "Intel 8080/8085 Assembly Language Programming" book (from Radio Shack, remember them?) laying around, I've started writing an 8080 simulator. I've got over half the instructions implemented and tested. My goal is to be able to get CP/M running on it.
-
December 2021 What Are You Working On?
I picked up a MCP4725 I2C DAC and an ADS1015 I2C ADC from AdaFruit and plan to write drivers for them for my personal driver library (as a side note, if anyone wants to move any of these to the Ada Driver Library, feel free). I am thinking of using these to add another module to my Raspberry Pi Mainframe Simulator so that I can have some knobs and a meter doing important looking things.
-
Blinkenlights and PDP-11 Assembly Language.
I got inspired to make my own version of blinkenlights. This is before I heard about projects like the blinkenbone or PiDP-11. My version with 3D models to print and the Ada source code is here, Pi-Mainframe I think got simh running on it, booted RSTS/E and am now exploring PDP-11 assembly language for the first time since about 1985. Some of my routines are here, PDP-11 stuff. I hope that I've learned a few things since 1985 ;-)
What are some alternatives?
Ada_Drivers_Library - Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Honki-Tonks-Zivilisationen - Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.
qoi - The “Quite OK Image Format” for fast, lossless image compression
gcc-darwin-arm64 - GCC master branch for Darwin with experimental support for Arm64. Currently GCC-15.0.0 [April 2024]
alire - Command-line tool from the Alire project and supporting library
BBS-BBB-Ada - A collection of Ada sources for working with Linux based embedded computers, such as the BeagleBone Black or Raspberry Pi
als-alire-index - An Alire index to build ada_language_server
ada-lox
learn - Sources for learn.adacore.com
PragmARC - The PragmAda Reusable Components