CTSRD-CHERI / cheribsd-getting-startedLinks
Getting Started with CheriBSD
☆13Updated 3 weeks ago
Alternatives and similar repositories for cheribsd-getting-started
Users that are interested in cheribsd-getting-started are comparing it to the libraries listed below
Sorting:
- Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.☆26Updated last year
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- Crosstalk: Smalltalk in Scheme -- clean room bootstrap of Smalltalk core☆22Updated 3 weeks ago
- A minimal stack based programming language☆32Updated last year
- Mirror of https://hg.sr.ht/~arnebab/wisp☆13Updated 4 years ago
- Partial implementation of the Janet bytecode VM in Javascript☆16Updated 3 years ago
- A #lang implementation of Lua 5.4 for Racket.☆56Updated last month
- An efficient, portable and secure general-purpose virtual machine and virtual network using libable☆27Updated 2 years ago
- Scheme implementation suitable for microcontrollers☆8Updated 9 years ago
- The package manager for Cyclone Scheme.☆32Updated last year
- #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…☆50Updated 3 years ago
- Wasm tooling in Racket.☆42Updated 2 years ago
- End to end declarative web programming with no JS using htmx and SWI-Prolog☆13Updated 4 years ago
- A simple incomplete Scheme-to-C compiler☆67Updated last month
- My personal template repository for Racket packages☆16Updated 4 years ago
- Widget library on top of Bloc.☆14Updated this week
- A a tiny concatenative programming language JIT compiled to aarch64 machine code.☆12Updated last year
- ☆18Updated 3 years ago
- copied from http://readable.sourceforge.net☆10Updated 9 years ago
- Versions of the "Computer Language Benchmarks Game" benchmarks for the Janet language.☆13Updated 3 years ago
- A functional scripting language compiling to pure Lambda Calculus☆27Updated 2 weeks ago
- A Fun Frontend Language☆16Updated 2 years ago
- For hosting ATS3 and developing CodeDepot☆14Updated last week
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 8 years ago
- The Coil Programming Language☆34Updated last year
- Zile Implements Lua Editors☆8Updated 11 years ago
- Scheme in Rust☆15Updated 3 years ago
- ☆60Updated last year
- Janet routines for utf8 handling☆19Updated 3 years ago
- ☆14Updated 2 years ago