-
OpenMowerBot Public
Chat Archive/LLM powered QA of the OpenMower Discord Server. Sorry, this is the only human written text here.
-
-
open_mower_ros Public
Forked from ClemensElflein/open_mower_ros -
OpenMower Public
Forked from ClemensElflein/OpenMowerLet's upgrade cheap off-the-shelf robotic mowers to modern, smart RTK GPS based lawn mowing robots!
C++ Other UpdatedJun 24, 2026 -
-
Mowgli Public
Forked from cedbossneo/MowgliYardForce GForce Mainboard RE
-
rosserial-services-docker Public
OBSOLETE Docker container for rosserial for ROS1 Noetic (+support for ROS Services) (you need the message definitions available for services to work properly!)
Dockerfile UpdatedMay 29, 2026 -
cloudcutter-esp8266 Public
Writeup of my port of the cloudcutter exploit to the esp8266
UpdatedMar 30, 2026 -
Minimal reproducible example of a bug in resharper's analysis of unused parameters blazor code.
C# UpdatedMar 17, 2026 -
blazor_if_bug Public
Demo of a bug in blazor with components being rendered inside of inactive @if branches
CSS UpdatedMar 4, 2026 -
CS8619_fp_example Public
Minimal reproducible example of a bug when using -= operator with a byte?
UpdatedFeb 26, 2026 -
A demonstration of a potential bug in IIdentityResolutionInterceptor
C# UpdatedJan 28, 2026 -
LwIP Public
Forked from stm32duino/LwIPLightweight TCP/IP stack (LwIP) is a small independent implementation of the TCP/IP protocol suite.
C Other UpdatedNov 19, 2025 -
efcore Public
Forked from dotnet/efcoreEF Core is a modern object-database mapper for .NET. It supports LINQ queries, change tracking, updates, and schema migrations.
C# MIT License UpdatedOct 8, 2025 -
-
-
xbot_driver_gps Public
Forked from ClemensElflein/xbot_driver_gpsC++ MIT License UpdatedMay 21, 2025 -
Cura Public
Forked from Ultimaker/Cura3D printer / slicing GUI built on top of the Uranium framework
Python GNU Lesser General Public License v3.0 UpdatedMar 21, 2025 -
ORB_SLAM_COMMUNITY Public
A community maintained fork of the inactive ORB_SLAM3 project
-
ShaunCurtis.github.io Public
Forked from ShaunCurtis/ShaunCurtis.github.ioPersonal Web Site
HTML UpdatedFeb 15, 2024 -
Lean4-Translate-Tactic Public
A prototype Lean4 tactic for translating propositions through isomorphisms.
Lean UpdatedMay 22, 2023 -
-
doc-gen4 Public
Forked from leanprover/doc-gen4Document Generator for Lean 4
Lean Apache License 2.0 UpdatedFeb 3, 2023 -
leanprover.github.io Public
Forked from leanprover/leanprover.github.iowww
Lean MIT License UpdatedJan 21, 2023 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedJan 9, 2023 -
mathlib4 Public
Forked from leanprover-community/mathlib4Work in progress mathlib port for lean 4
Lean Apache License 2.0 UpdatedDec 22, 2022 -
-
smbc-tictactoe-cfr Public
Counterfactual Regret Minimization solver for SMBC's incomplete information Tic Tac Toe
-
open_spiel Public
Forked from google-deepmind/open_spielOpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games.
C++ Apache License 2.0 UpdatedApr 2, 2022 -
heapless Public
Forked from rust-embedded/heaplessHeapless, `static` friendly data structures
Rust Apache License 2.0 UpdatedMar 31, 2022
{{ message }}