TLC is an explicit state model checker for specifications in TLA+
Framework for quickly creating connected applications in Kotlin
A fast and flexible Structural Equation Modelling Framework
Ongoing research training transformer models at scale
Finite state machines for building accessible design systems and UI
Vaadin 6, 7, 8 is a Java framework for modern Java web applications
Advanced Java Redis client for thread-safe sync, async, etc.
Vulkan & C++17 based Scene Graph Project
A library of static Eloquent models for common fixture data
A standard library of components to model the world and beyond
Sortable behaviour for Eloquent models
A Julia machine learning framework
Ahead of Time Data Repositories
Use pretrained transformers like BERT, XLNet and GPT-2 in spaCy
Modular Assessment of Rainfall-Runoff Models Toolbox
Laravel Livewire Best Practices
View models in Laravel
Use your Laravel routes in JavaScript
Use WordPress backend with Laravel or any PHP application
Provides an extension of the Spring programming model
An open source implementation of OpenAI's ChatGPT Code interpreter
A PyTorch-based framework for Quantum Classical Simulation
Official inference library for Mistral models
A lightweight game server framework implemented with Actor Model
insert batch and update batch in laravel