CTSRD-CHERI / cheribsd-getting-startedLinks
Getting Started with CheriBSD
☆15Updated 2 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:
- A bare-metal actor operating system for Raspberry Pi.☆67Updated last month
- ☆58Updated 8 months ago
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- A #lang implementation of Lua 5.4 for Racket.☆58Updated 3 months ago
- Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.☆27Updated last year
- Wasm tooling in Racket.☆45Updated 2 years ago
- A simple incomplete Scheme-to-C compiler☆74Updated 5 months ago
- A lisp dialect based on pattern matching and term rewriting☆85Updated last year
- The Coil Programming Language☆33Updated last year
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 15 years ago
- Plot Cookbook☆51Updated 3 years ago
- A hypothetical message-based programming language inspired by Smalltalk, Self, Erlang, Clojure and sci-fi and biology☆21Updated 4 years ago
- Omnino is a windowing system for web applications.☆57Updated 2 years ago
- An implementation of interaction nets as a forth-like language.☆44Updated 2 months ago
- For hosting ATS3 and developing CodeDepot☆16Updated last week
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated this week
- ☆61Updated 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
- Distributable shell scripts with dependencies☆11Updated 9 years ago
- #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…☆60Updated 3 years ago
- RaptorJIT: a dynamic system programming language (manuscript)☆16Updated 6 years ago
- Crosstalk: Smalltalk in Scheme -- clean room bootstrap of Smalltalk core☆22Updated 8 months ago
- A Djot implementation in Prolog☆27Updated last month
- copied from http://readable.sourceforge.net☆10Updated 9 years ago
- An unofficial installer for Alire☆18Updated 9 months ago
- Parallel Specification and Implementation Language☆49Updated 2 weeks ago
- A command-line parser for Standard ML☆21Updated last month
- Function EXpression Language (interpreter for functional programs)☆84Updated 4 months ago
- End to end declarative web programming with no JS using htmx and SWI-Prolog☆13Updated 5 years ago
- Parser, code model, navigable browser and VM for the SOM Smalltalk dialect☆30Updated 3 years ago