asllop
Follow
Lists (3)
Stars
Systems language with linear types and capability-based security.
Cross-platform Rust rewrite of the GNU coreutils
Libwww is a highly modular, general-purpose client side Web API written in C for Unix and Windows (Win32). It's well suited for both small and large applications, like browser/editors, robots, batc…
Pyodide is a Python distribution for the browser and Node.js based on WebAssembly
Wasm powered Jupyter running in the browser 💡
List of projects that provide terminal user interfaces
SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.
Experimental support for coroutines-based generators in Ada
Coroutines in Ada using only standard tasking features
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
Experimenting with bare metal coding on a Raspberry Pi
Ada Bare Bones OS development tutorial source code
A collection of lock-free data structures written in standard C++11
Amazon AppFlow extension for Automated Data Analytics (ADA) on AWS
AWS is a complete framework to develop Web based applications in Ada.
A bare metal AArch64 hello-world program, that is run in a KVM AArch64 VM.
Send push notifications to your phone or desktop using PUT/POST
Stabilizer: Rigorous Performance Evaluation
Raspberry Pi Baremetal Projects
On most of my desktop and laptop systems I run a tiling window manager, either i3 (previously awesome) or ratpoison, and the a text status bar (i3bar or xmobar), filled with data by i3status. These…