-
Squircle Systems Ltd
- London, UK
Stars
- All languages
- ANTLR
- ApacheConf
- Arduino
- Assembly
- Bicep
- Bluespec
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Coq
- Elixir
- Emacs Lisp
- Erlang
- F#
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Markdown
- Mustache
- OCaml
- Objective-C
- Objective-C++
- PHP
- PLpgSQL
- Perl
- Pony
- Python
- R
- ReScript
- Rocq Prover
- Ruby
- Rust
- SaltStack
- Scala
- Shell
- Swift
- TLA
- Tcl
- TeX
- TypeScript
- Vim Script
- XQuery
- XSLT
- Zig
An open, schema-driven language for configuring agent orchestration systems
Attempt to convert 1943 Irish language sci-fi book Manannán to modern orthography
Fast and accurate AI powered file content types detection
EdegQuake 🌋 High-performance GraphRAG inspired from LightRag written in Rust; Transform documents into intelligent knowledge graphs for superior retrieval and generation
Write & maintain executable scripts in natural language
Platform Evolution Engine. Distill the best from the combinatorial mess.
Terminal-based Signal messenger client with vim keybindings
AI Agent Governance Toolkit — Policy enforcement, zero-trust identity, execution sandboxing, and reliability engineering for autonomous AI agents. Covers 10/10 OWASP Agentic Top 10.
AI Vibe Coding Agent of TS backend server, enhanced by compiler skills, generating 100% working code
Autoresearch for GPU kernels. Give it any PyTorch model, go to sleep, wake up to optimized Triton kernels.
Sub-millisecond VM sandboxes for AI agents via copy-on-write forking
A blazing fast AI Gateway with integrated guardrails. Route to 200+ LLMs, 50+ AI Guardrails with 1 fast & friendly API.
Restate is the platform for building resilient applications that tolerate all infrastructure faults w/o the need for a PhD.
GitHub-style diff viewer for reviewing code changes. Works with Claude Code, Cursor and other AI tools.
OpenShell is the safe, private runtime for autonomous AI agents.
Official agent plugin providing skills and MCP server configurations for Azure scenarios.
Machine learning powered Karaoke app (with scores!)
Code for CVPR'26 paper "Mario: Multimodal Graph Reasoning with Large Language Models".
Make agents prove that their code is correct.
AI agents running research on single-GPU nanochat training automatically
Ollama for classical ML models. AOT compiler that turns XGBoost, LightGBM, scikit-learn, CatBoost & ONNX models into native C99 inference code. One command to load, one command to serve. 336x faste…
A secure persistent personal agent server in Rust. One binary, sandboxed execution, multi-provider LLMs, voice, memory, Telegram, WhatsApp, Discord, Teams, and MCP tools. Secure by design, runs on …
Visual DDD context mapper with Flow and Strategic views for analyzing bounded contexts and their relationships
A modern specification language and model checker for concurrent and distributed systems. Faster than TLA+/TLC.