A headers only high performance C++ middleware framework/lib. See README for details.

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

piStar is an online goal modeling tool supporting the iStar 2.0 requirements engineering standard

Official repository of the xLSTM.

A pandoc LaTeX template to convert markdown files to PDF or LaTeX.

Website Source for https://ssa.tools/

The latest incremental release of SysML v2. Start here.

Proof-of-concept pilot implementation of the SysML v2 textual notation and visualization

Create docker image for running SysMLv2 with Jupyter

Awesome-LLM: a curated list of Large Language Model

This repository contains all the source code examples from my LiveLessons course on "Java Concurrent Programming" and my various LiveTraining courses, as described at http://www.dre.vanderbilt.edu/…

Gaphor is the simple modeling tool

Port of OpenAI's Whisper model in C/C++

Symbolic programming for the next generation of numerical software

Guava's spikier (unofficial) cousin

A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)

Library for the numerical simulation of closed as well as open quantum systems.

Annotation processor to create immutable objects and builders. Feels like Guava's immutable collections but for regular value objects. JSON, Jackson, Gson, JAX-RS integrations included

Refinement types for Scala

Strong type constraints for Scala

Jupyter adaptation of Learn You a Haskell for Great Good!

The Z3 Theorem Prover

Python library for working with Metric Temporal Logic (MTL)

A Visual Studio Code extension for Solargraph.

An Example for an Xtext Language Server

Scala Runners: a Coursier-based alternative implementation

A library of mechanised undecidability proofs in the Coq proof assistant.

Modeling and Proving in Computational Type Theory