TLC is an explicit state model checker for specifications in TLA+
An open-source, modern-design AI chat framework
Use pretrained transformers like BERT, XLNet and GPT-2 in spaCy
Framework for Evolutionary Message-Driven Microservices on the JVM
Finite state machines for building accessible design systems and UI
Sortable behaviour for Eloquent models
AI code reviews, just like your senior dev would do
A PyTorch-based framework for Quantum Classical Simulation
A JAX-native LLM Post-Training Library
DeepEP: an efficient expert-parallel communication library
Vaadin 6, 7, 8 is a Java framework for modern Java web applications
Data framework for your LLM applications
The TypeScript MCP framework
Mirror of Apache Struts
Official Vue.js wrapper for fullPage.js
swoole, easyswoole, swoole framework
TorchMultimodal is a PyTorch library
Minimal authorization through OO design and pure Ruby classes
A declarative Unix terminal UI library written in Haskell
An opinionated package to create slugs for Eloquent models
An agent is just a for-loop
Principled Functional Programming in Scala
CodeBehind is a modern back-end framework under ASP.NET Core.
Some useful websites for programmers
A flexible framework for maintainable Ruby apps