#Tag · bonfire.cafe

#Tag

Log in

Konrad Hinsen boosted

@jnpn@mastodon.social · 2 days ago

racket based solver-aided programming

https://emina.github.io/rosette/

#racket #scheme #solver #sat #dsl #verification

Rosette: About

The Rosette Language

@jnpn@mastodon.social · 2 days ago

racket based solver-aided programming

https://emina.github.io/rosette/

#racket #scheme #solver #sat #dsl #verification

Rosette: About

The Rosette Language

@h4ckernews@mastodon.social · 3 months ago

ZOZO's Contact Solver (for physics-based simulations)

https://github.com/st-tech/ppf-contact-solver

#HackerNews #ZOZO #Contact #Solver #physics #simulations #simulation #technology #GitHub

bonfire.cafe

A space for Bonfire maintainers and contributors to communicate

bonfire.cafe: About · Code of conduct · Privacy · Users · Instances

Bonfire social · 1.0.1-beta.35 no JS en

Automatic federation enabled

Log in