paul-go / TruthLinks
A Domain Representation Language
☆24Updated 5 years ago
Alternatives and similar repositories for Truth
Users that are interested in Truth are comparing it to the libraries listed below
Sorting:
- A framework of various language parsers☆100Updated last week
- Native core components for Atom☆154Updated 3 years ago
- agent-based reactive programming library for typescript☆100Updated 2 years ago
- A (WIP) WebAssembly System Interface implementation for Deno☆130Updated 5 years ago
- Adds code intelligence to code views on the web ✨☆55Updated 3 years ago
- Tiny expression evaluator☆39Updated 2 years ago
- Abstract Syntax Tree (AST) Query Engine☆208Updated last year
- ECMAScript verification with SMT solvers☆124Updated last year
- Efficient data structure for large mutable strings.☆140Updated 11 years ago
- MOVED to @agoric/ses-shim. SES (Secure EcmaScript) is a secure runtime for running third-party code safely☆362Updated 5 years ago
- OpenAutoComplete -- CLI autocomplete specification☆267Updated 2 years ago
- A JavaScript compiler written in TypeScript targeting C++/V8☆200Updated 2 years ago
- Tiny subset of JavaScript for ocap-safe universal mobile code☆301Updated 2 months ago
- mega-powerful micro-framework☆81Updated 5 years ago
- Experiment in structural code editing☆104Updated last year
- A standalone, grammar-complete MySQL parser.☆74Updated 2 years ago
- Source for the PSPDFKit WebAssembly Benchmark: http://iswebassemblyfastyet.com☆50Updated 3 months ago
- ☆15Updated 6 years ago
- Discover what languages can be compiled to Web Assembly☆180Updated 6 years ago
- JSON Schema TypeScript definitions with complete inline documentation.☆111Updated 3 years ago
- DOM Notation JS☆134Updated 4 years ago
- Compress json-data based on its json-schema while still having valid json☆99Updated this week
- ⛓ Cleargraph is a GraphQL runtime for decentralized applications☆257Updated 7 years ago
- Launch and terminate apps on macOS☆58Updated 2 years ago
- Bundler and release tool for node.js☆52Updated 10 months ago
- Generate diagrams for parser grammars☆240Updated 2 years ago
- Source code for the Axiom cryptoplatform☆51Updated 2 years ago
- Real world text editing traces for benchmarking CRDT and Rope data structures☆55Updated last month
- Property based testing for AVA based on fast-check☆45Updated 3 years ago
- A proxy that allows you to build decentralized npm registries☆16Updated 6 years ago