hub / github.com/dada-lang/dada

github.com/dada-lang/dada @main

Chat with this repo

repository ↗ · DeepWiki ↗ · + Follow

1,550 symbols 4,570 edges 156 files ⚖ MIT 374 documented · 24% ● updated 6mo ago★ 51242 open issues

Browse by type

⨍ Functions 1,179◇ Types & classes 371

What it actually does AI analysis from the code graph — generated when you open this

loading…

README

dada

Tzara

I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and everybody practices his art in his own way.

Tristan Tzara, "Dada Manifesto 1918”

What the heck is Dada?

Dada is a thought experiment. What if we were making a language like Rust, but one that was meant to feel more like Java or JavaScript, and less like C++? One that didn't aspire to being used in kernels or tiny embedded devices and was willing to require a minimal runtime. What might that look like?

To try it yourself...

As of right now, Dada doesn't really exist. Check back soon.

License

Licensed under either of Apache License, Version 2.0 or MIT license at your option.

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in this repository by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.

Extension points exported contracts — how you extend this code

Check (Interface)

The main "check" routine. This defines what it means for a dada program to successfully compile. [21 implementers]

components/dada-check/src/lib.rs

Spanned (Interface)

Implemented by all things that have a span (and span itself). For AST nodes, yields the entire encompassing span. For [29 …

components/dada-ir-ast/src/span.rs

Symbol (Interface)

Return the symbol corresponding to the AST node. Implementations are memoized so that this can be called many times and [7 …

components/dada-ir-sym/src/lib.rs

TestOutputFormatter (Interface)

Trait for formatting test output in different modes [2 implementers]

components/dada-lang/src/main_lib/test.rs

ToUrl (Interface)

(no doc) [3 implementers]

components/dada-compiler/src/vfs.rs

VecExt (Interface)

(no doc) [1 implementers]

components/dada-util/src/vecext.rs

browse all types & interfaces →

Core symbols most depended-on inside this repo

↓ 41 filesErr

Create a value from a reported error.

components/dada-ir-ast/src/diagnostic.rs

↓ 19 fileserror

components/dada-debug/src/error.rs

↓ 13 filesSpanned

Implemented by all things that have a span (and span itself). For AST nodes, yields the entire encompassing span. For symbols, …

components/dada-ir-ast/src/span.rs

↓ 8 filesParse

some fns not currently used

components/dada-parser/src/lib.rs

↓ 5 filesScopeTreeNode

components/dada-ir-sym/src/check/scope_tree.rs

↓ 4 filesSymbol

Return the symbol corresponding to the AST node. Implementations are memoized so that this can be called many times and will …

components/dada-ir-sym/src/lib.rs

browse all functions →

Shape

Method 816

Function 363

Class 229

Enum 81

Interface 61

Languages

Rust92%

TypeScript8%

Modules by API surface

components/dada-debug/assets/highlight.min.js92 symbols

components/dada-ir-sym/src/ir/types.rs57 symbols

components/dada-ir-sym/src/check/env.rs56 symbols

components/dada-util/src/fixed_depth_json.rs40 symbols

components/dada-parser/src/lib.rs37 symbols

components/dada-ir-sym/src/check/scope.rs37 symbols

components/dada-spec-common/src/lib.rs36 symbols

components/dada-ir-sym/src/check/runtime.rs33 symbols

components/dada-ir-ast/src/span.rs33 symbols

components/dada-parser/src/tokenizer.rs31 symbols

components/dada-ir-sym/src/ir/classes.rs31 symbols

components/dada-compiler/src/lib.rs31 symbols

Datastores touched

mydbDatabase · 1 repos

For agents

$ claude mcp add dada \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact

github.com/dada-lang/dada @main

dada

What the heck is Dada?

To try it yourself...

License

Extension points exported contracts — how you extend this code

Core symbols most depended-on inside this repo

Shape

Languages

Modules by API surface

Datastores touched

For agents

Ask about this repo answers extend the page