[Media] Genetic algorithm simulation - Smart rockets (code link in comments)

• rust-genetic-rockets

  1 66 10.0 Rust

  Genetic algorithm simulation in rust using nannou

It looks like you linked to the Python version. This is the Rust repo :)

• processing

  457 6,455 0.0 Java

  Source code for the Processing Core and Development Environment (PDE)

  

You're welcome, frameworks like nannou are called **Creative coding frameworks**, processing I think is the most popular one out there, also P5js.

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• p5.js

  236 20,976 9.9 JavaScript

  p5.js is a client-side JS platform that empowers artists, designers, students, and anyone to learn to code and express themselves creatively on the web. It is based on the core principles of Processing. http://twitter.com/p5xjs —

  

You're welcome, frameworks like nannou are called **Creative coding frameworks**, processing I think is the most popular one out there, also P5js.

• alacritty

  356 53,524 9.2 Rust

  A cross-platform, OpenGL terminal emulator.

  

• nannou

  66 5,867 7.1 Rust

  A Creative Coding Framework for Rust.

  

I've exported individual frames using this mechanism, I've never tried gif encoding before but seems like there's support for it,

• FStar

  44 2,624 9.9 F*

  A Proof-oriented Programming Language

  

As I said, dependent types attempt to solve this problem. F* is a language where you can express complex logic as a type. The catch is, these types are checked by an SMT solver. If the solver can satisfy the type checking, then great, and you move on. If it can’t, you have no idea why, and either have to guess or manually write the proof anyway. Contrast this with Standard ML which has a proof of the soundness of its type system.

Suggest a related project