CTSRD-CHERI / cheribsd-getting-startedLinks
Getting Started with CheriBSD
☆14Updated 3 months 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:
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- A #lang implementation of Lua 5.4 for Racket.☆56Updated 4 months ago
- Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.☆26Updated last year
- For hosting ATS3 and developing CodeDepot☆16Updated last week
- A simple incomplete Scheme-to-C compiler☆70Updated 3 weeks ago
- Mirror of https://hg.sr.ht/~arnebab/wisp☆14Updated 4 years ago
- ☆56Updated 3 months ago
- #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…☆55Updated 3 years ago
- A pure-actor virtual machine with object-capabilities and memory-safety.☆89Updated this week
- Wasm tooling in Racket.☆44Updated 2 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Cheap and fast R7RS Scheme interpreter☆82Updated this week
- Omnino is a windowing system for web applications.☆57Updated last year
- A lisp dialect based on pattern matching and term rewriting☆84Updated 10 months ago
- A compiler for an Ada-like language☆33Updated 3 months ago
- Function EXpression Language (interpreter for functional programs)☆84Updated 3 weeks ago
- Plot Cookbook☆50Updated 2 years ago
- The Coil Programming Language☆33Updated last year
- An implementation of interaction nets as a forth-like language.☆36Updated 3 weeks ago
- An experimental Racket implementation using LLVM/MLIR☆62Updated 2 years ago
- copied from http://readable.sourceforge.net☆10Updated 9 years ago
- ☆60Updated 2 years ago
- Tool for streamlining the development of Genode applications☆24Updated this week
- ☆20Updated 4 years ago
- ☆20Updated 2 years ago
- My personal template repository for Racket packages☆16Updated 4 years ago
- Parser, code model, navigable browser and VM for the SOM Smalltalk dialect☆29Updated 3 years ago
- A Verilog dialect supercharged by the Racket meta-fairies.☆56Updated 6 years ago
- The WebScheme compiler☆39Updated 4 months ago
- The GRAphical Scheme Programming Environment☆51Updated last week