Symbolica 2.0: Programmable Symbols for Python and Rust (symbolica.io) | HN Screenshots

YHacker Newsscreenshots

Screenshot of symbolica.io: Symbolica 2.0: Programmable Symbols for Python and Rust

First screen, captured 4 months ago.

Looks similar

Screenshot of symbolica.io: Algorithms through the lens of symbolic pattern matching

Algorithms through the lens of symbolic pattern matching (symbolica.io)

57 points by adamnemecek 2 years ago | 8 comments

Screenshot of sympy.org: SymPy: Symbolic Mathematics in Python

SymPy: Symbolic Mathematics in Python (sympy.org)

237 points by tosh 2 years ago | 114 comments

Screenshot of philipzucker.com: Symbolic Execution by Overloading __bool__

Symbolic Execution by Overloading bool(philipzucker.com)

63 points by philzook 1 year ago | 8 comments

Screenshot of alt-romes.github.io: Writing prettier Haskell with Unicode syntax and Vim

Writing prettier Haskell with Unicode syntax and Vim (alt-romes.github.io)

45 points by romes 3 years ago | 40 comments

Screenshot of github.com: FEXPRs vs. vtable: how LispE interpreter works

FEXPRs vs. vtable: how LispE interpreter works (github.com)

95 points by birdculture 4 months ago | 6 comments

Screenshot of digital-naturalism-laboratories.github.io: Mothbox 4.0

Mothbox 4.0 (digital-naturalism-laboratories.github.io)

258 points by bookofjoe 2 years ago | 38 comments