IT 140 Module One: Setup Tasks repository. This repo provides step-by-step instructions and commands to install the course IDE needed to complete all subsequent course activities.
ABC: System for Sequential Logic Synthesis and Formal Verification
Local MCP work notes with persistent sessions, decisions, evidence and resumable tasks.
Official repository for paper Sequential Trajectories and Simultaneous Blending: Multi-Emotion Modeling for Instruction-Following TTS
jOOΞ» - The Missing Parts in Java 8 jOOΞ» improves the JDK libraries in areas where the Expert Group's focus was elsewhere. It adds tuple support, function support, and a lot of additional functionality around sequential Streams. The JDK 8's main efforts (default methods, lambdas, and the Stream API) were focused around maintaining backwards compatibility and implementing a functional API for parallelism.
Repository hosting code for "Actions Speak Louder than Words: Trillion-Parameter Sequential Transducers for Generative Recommendations" (https://arxiv.org/abs/2402.17152).
[NeurIPS 2023 Spotlight] LightZero: A Unified Benchmark for Monte Carlo Tree Search in General Sequential Decision Scenarios (awesome MCTS)
Customizable no-code component for building flow-based programming applications or workflow automation. 0 external dependencies. Check out https://nocode-js.com
An execution-authority gateway for AI agents and APIs. It intercepts consequential HTTP actions, asks Decionis whether they are authorized, and forwards exactly the authorized request once on a single-use grant, holds it for a person, or refuses it, leaving chained evidence of each. Installs by Homebrew, Linux package, Docker or Helm.
An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.
π§ An adaptation of the MCP Sequential Thinking Server to guide tool usage. This server provides recommendations for which MCP tools would be most effective at each stage.
CQRS & event sourcing framework for Ruby
With Uno, finally take full control of your SQP/barrier solver for nonlinearly constrained optimization
Sequential Monte Carlo in python
Govern consequential AI agent actions in Docker with deterministic policy, human approval, and signed Decision Dossiers.
Redshift-aware terminal, categorical, and sequential color palettes
Multi-harness control protocol that turns requests into approved design contracts, orchestrating isolated worker sessions for sequential implementation and independent code reviews under Orca supervision for Claude Code, Codex, Cursor, Antigravity, and other AI coding agents.
An open-source digital museum restoring history's most consequential patents into pristine OCR transcripts, rigorous Plain English engineering breakdowns, and interactive real-time simulations.