Robotics Science & Systems, University of Bristol, UK.
☆20Nov 7, 2025Updated last year
Alternatives and similar repositories for SEMTM0042_43
Users that are interested in SEMTM0042_43 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Teaching materials for unit EMATM0054/53☆31Jan 30, 2025Updated last year
- My robotics(Msc) notes from the university of bristol☆77Feb 13, 2023Updated 3 years ago
- 不知道什么时候跑完程序？发一封邮件吧☆19May 21, 2026Updated 5 months ago
- This is the official codebase for the paper "Sensor-Invariant Tactile Representation" (ICLR 2025).☆30Sep 29, 2025Updated last year
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆12Aug 27, 2015Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A template for building RTL applications with Next.js and shadcn/ui.☆15Mar 27, 2026Updated 7 months ago
- ☆14Updated this week
- The unofficial source for MDN Web Docs content. Home to over 14,000 pages of documentation about HTML, CSS, JS, HTTP, Web APIs, and more.☆10Apr 15, 2026Updated 6 months ago
- PromptL is a templating language specifically designed for LLM prompting☆12Feb 25, 2026Updated 8 months ago
- Open, free database of user submitted data for LLM hardware benchmarks.☆13Dec 26, 2025Updated 10 months ago
- Station positions and connections of the Scotland Yard board game☆12Jan 20, 2016Updated 10 years ago
- helper git tools☆13Oct 4, 2023Updated 3 years ago
- Harness for Codex-style agents working on matching decompilation goals☆11Jun 16, 2026Updated 4 months ago
- Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"☆12Sep 11, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- BlockRun ecosystem - docs, SDKs, research, and community☆14Updated this week
- The TypeScript API client for Zoo.☆16Updated this week
- simple activegraph coding agent demo☆13Jun 8, 2026Updated 5 months ago
- AutoBench: Benchmarking Automation for Intelligent Document Processing (IDP) with confidence☆12Mar 18, 2025Updated last year
- Terminal-Bench 4.0 tasks ported to Karotte, with fixes to ambiguous instructions and grader bugs.☆12Oct 20, 2026Updated 3 weeks ago
- Structured wrapper for autonomous AI coding with Claude Code. PRD-driven task planning, atomic verification, and bash loop execution.☆12Feb 17, 2026Updated 8 months ago
- A modified version of MineDojo☆12Feb 28, 2024Updated 2 years ago
- A small, extensible decision-to-action harness for TypeSafe Jev☆14Updated this week
- A collection of skills to help coding agents onboard to LiveAvatar.☆16Sep 10, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Drex harness for context search: ask a question about a repo, get the files and lines your coding agent should read first.☆13Updated this week
- Drop-in agent harness for shipping products with AI. 18 skill files across SaaS, CLI, MCP, and mobile. Works with Claude Code, Cursor, Co…☆14May 25, 2026Updated 5 months ago
- repo containing code storage skill.md and installer☆17May 1, 2026Updated 6 months ago
- Small guide on how to use Claude for (math) research purposes☆15Mar 3, 2025Updated last year
- Companion code for "Python for Algorithmic Trading Efficient Markets, Backtesting, and Streaming".☆12Sep 6, 2026Updated 2 months ago
- An MCP server housing various Zoo built utilities☆11Updated this week
- 🖥️Open-source Computer-Use for Windows☆13Jul 4, 2025Updated last year
- Adaptive Learning Platform - Making Learning Accessible☆25Updated this week
- Command-line tools for digital simulation waveform analysis — read, filter, and diff FST and VCD files☆12Nov 4, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆11Nov 19, 2024Updated last year
- Multi account trading terminal. Desktop app for trading crypto through API keys. Support Binance and Kucoin exchanges (list may be extend…☆11May 18, 2022Updated 4 years ago
- Ambient keyboard status panel for your Claude/Codex coding agents, via OpenRGB (macOS)☆16Jul 4, 2026Updated 4 months ago
- A very simple simulator for a 2 wheel differential drive robot on the Google Colab platform.☆12Jul 27, 2021Updated 5 years ago
- EvolveGen: Algorithmic Level Hardware Model Checking Benchmark Generation through Reinforcement Learning (TACAS 2026)☆10Oct 9, 2025Updated last year
- Build apps and integrate with GoDaddy.☆20Updated this week
- Research project showing cryptographic, per-step delegation proofs for accountable AI agent actions.☆11Updated this week
Are these results useful?