-
Squircle Systems Ltd
- London, UK
Stars
- All languages
- ANTLR
- ApacheConf
- Arduino
- Assembly
- 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
Lore is a next-generation, open source version control system
A GNU screen style terminal multiplexer built on libghostty.
Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.
An open-source, AI-integrated, cross-platform terminal for seamless workflows
This repository contains the code to train and evaluate TRIBE v2, a multimodal model for brain response prediction
Open-source AI agent firewall for MCP security and agent egress. Scans mediated HTTP, MCP, A2A, and WebSocket traffic for exfiltration, SSRF, and prompt injection, and emits mediator-signed action …
SIMD-accelerated distances, dot products, matrix ops, geospatial & geometric kernels for 16 numeric types — from 6-bit floats to 64-bit complex — across x86, Arm, RISC-V, and WASM, with bindings fo…
See where your AI spend goes. Interactive TUI dashboard for token usage and cost across Claude Code, Codex, Cursor, and 25+ more AI tools. npx codeburn
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 1,600+ 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.