amazon-ion / ion-schemaLinks
The Ion Schema Specification. This specification is licensed under the Apache 2.0 License.
☆13Updated last week
Alternatives and similar repositories for ion-schema
Users that are interested in ion-schema are comparing it to the libraries listed below
Sorting:
- A Kotlin reference implementation of the Ion Schema Specification.☆26Updated 3 months ago
- Backtrace.io's resilient log record framing format☆40Updated 3 years ago
- Library sandboxing for the Verona research language and usable in other contexts.☆47Updated 2 years ago
- Counting the collisions with perl hash tables per function☆12Updated 6 years ago
- Fast WebAssembly Baseline Compiler☆61Updated 2 years ago
- Synthesize CRDTs from classic data types with verified lifting!☆150Updated last year
- A repository for the stack switching proposal.☆185Updated 2 months ago
- Software Language Processing Suite☆47Updated 4 years ago
- Proof-of-concept for a memory-efficient data structure for zooming billion-event traces☆70Updated 4 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆107Updated last year
- Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations☆38Updated 7 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- A general purpose relational language☆19Updated 5 years ago
- Artifact for our ISPASS 2022 paper "Distilling the Real Cost of Production Garbage Collectors"☆19Updated 3 years ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆50Updated 6 months ago
- actordb storage engine☆20Updated 6 years ago
- Source for the GitHub Pages for Ion.☆26Updated 2 months ago
- A small DFA for under 16 states☆54Updated 7 years ago
- A protocol on top of CBOR that provides protobuf-like functionality☆54Updated 7 years ago
- The Daedalus data description language☆87Updated this week
- A Wait-Free Universal Construct for Large Objects☆96Updated 6 years ago
- a 64-bit histogram / quantile sketch☆59Updated last year
- A cross-platform implementation of the Immix Garbage Collector☆77Updated 11 years ago
- Review and verification of Brotli compressed data format specification.☆98Updated last year
- An educational JS virtual machine based on Eclipse OMR☆46Updated 2 years ago
- Vector operations for WebAssembly☆53Updated 3 months ago
- ☆16Updated 11 months ago
- Library for wrapping libc functions that require ambient authority☆87Updated 6 years ago
- A term rewriting system for experimental programming language development.☆48Updated last month
- Memory Management ToolKit☆37Updated 5 months ago