urbit/ares
1
1
Fork 0
mirror of https://github.com/urbit/ares.git synced 2024-11-26 09:57:56 +03:00
Code Issues Packages Projects Releases Wiki Activity
An experimental new runtime for Urbit
141 Commits 75 Branches 4 Tags 55 MiB
Rust 83.4%
hoon 15.7%
C 0.6%
Nix 0.2%
f4be9f30bf
Go to file
Philip Monk f4be9f30bf [ares] fix the Last Bug in unifying equality 
The addition/subtraction is with respect to the polarity we matched on,
but the high and low pointers are with respect to the polarity we're
switching to .  The stack pointer is always at slot 0 (the outer slot)
and the frame pointer is always at slot 1 (the inner slot).
2023-02-16 05:18:58 -07:00
docs current state for inspection 2023-01-26 18:02:49 -06:00
hoon [ares] fill out basic lifecycle 2023-02-11 17:28:14 -07:00
rust [ares] fix the Last Bug in unifying equality 2023-02-16 05:18:58 -07:00
subject-knowledge Add lash function to build sk core with added jets in jute 2022-02-17 21:52:23 -06:00
.gitignore Hoon version of subject-knowledge analysis 2022-02-04 12:44:11 -06:00
CONTRIBUTING.md Move contribution guidelines to repository root and link from README 2023-02-05 17:08:02 -06:00
README.md Update README to link to contribution guidelines 2023-02-05 17:09:09 -06:00

README.md

New Mars

A redesigned Mars for the Urth/Mars Urbit runtime. Currently WIP.

Read the proposal and hypotheses for an overview. Before branching or opening a PR please review the contribution guidelines.