Thanks to visit codestin.com
Credit goes to github.com

Skip to content
#

prism

Here are 21 public repositories matching this topic...

🚀 A collection of 30 mini JavaScript projects to explore and enhance JS skills! From animations and calculators to interactive UI elements, each project is beginner-friendly with a live demo and clean code. This collection helps me learn JavaScript by practicing core concepts in a fun and hands-on way. 🌟 Dive in, experiment, and enjoy coding! 💻�

  • Updated Feb 27, 2025
  • HTML

Some probabilistic models of a rat's limbic system implemented using the Prism model checker. Currently the system is modelled at a DTMC; CTMC version is a work in progress. Up to date models can be found in the "models" folder. Made in collaboration with Dr Alice Miller and Dr Bernd Porr

  • Updated Nov 9, 2018
  • HTML

Improve this page

Add a description, image, and links to the prism topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the prism topic, visit your repo's landing page and select "manage topics."

Learn more