#
Lists (2)
Starred repositories
ATmosphere Authentication, Identity, and Permission Proxy
Repository for the main Dockerfile with the OpenWorm software stack and project-wide issues
A massively parallel, high-level programming language
The MQTT client for Node.js and the browser
C++ based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
The main development version of the PRISM model checker.
Stuff from UIUC's CS421 - Programming Languages and Compilers. MPs written in the functional language OCaml.
A Maude specification of different opinion models using the framework of set relations.
1
Updated Feb 11, 2025
resources for the Scicloj Open Source Mentoring program
8
Updated Apr 3, 2025
Data processing on Hadoop without the hassle.
A model checker for implementing distributed systems.
Maude integration and verification for ROS Nav 2
Example code for Fluent Python, 2nd edition (O'Reilly 2022)
Model checker for Maude systems controlled by strategies
Learning with Peter Norvig's lis.py interpreter