CTSRD-CHERI / cheribsd-getting-startedLinks
Getting Started with CheriBSD
☆14Updated 5 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.☆67Updated last month
- For hosting ATS3 and developing CodeDepot☆16Updated last month
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- ☆56Updated 5 months ago
- A pure-actor virtual machine with object-capabilities and memory-safety.☆89Updated last week
- A #lang implementation of Lua 5.4 for Racket.☆56Updated last week
- Common lisp implementation of Val Schorr's Meta-II language☆17Updated 8 years ago
- ☆61Updated 2 years ago
- A lisp dialect based on pattern matching and term rewriting☆85Updated last year
- Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.☆27Updated last year
- A simple incomplete Scheme-to-C compiler☆74Updated 2 months ago
- Mirror of https://hg.sr.ht/~arnebab/wisp☆15Updated 4 years ago
- Wasm tooling in Racket.☆44Updated 2 years ago
- copied from http://readable.sourceforge.net☆10Updated 9 years ago
- Omnino is a windowing system for web applications.☆57Updated last year
- An implementation of interaction nets as a forth-like language.☆37Updated 2 months ago
- The Coil Programming Language☆33Updated last year
- #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…☆57Updated 3 years ago
- Crosstalk: Smalltalk in Scheme -- clean room bootstrap of Smalltalk core☆22Updated 5 months ago
- A hypothetical message-based programming language inspired by Smalltalk, Self, Erlang, Clojure and sci-fi and biology☆21Updated 4 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- Plot Cookbook☆51Updated 2 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆17Updated 5 years ago
- SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme☆74Updated 3 years ago
- Cheap and fast R7RS Scheme interpreter☆85Updated last week
- Smalltalk VM Written in Zig with methods stored as type-annotated ASTs☆142Updated last week
- A compiler for an Ada-like language☆32Updated 5 months ago
- A Verilog dialect supercharged by the Racket meta-fairies.☆57Updated 6 years ago
- An experimental Racket implementation using LLVM/MLIR☆61Updated 2 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆82Updated 3 weeks ago