otter
Here are 55 public repositories matching this topic...
A simple, easy to use ssh connection tool for Alfred 3
-
Updated
Feb 5, 2018 - Python
Recopilación de cursos de razonamiento automático.
-
Updated
Jun 24, 2022
2D game based on The Binding of Isaac mechanics
-
Updated
Aug 6, 2023 - Java
A command line interface for TotalTechGeek's Ottermator.
-
Updated
Aug 20, 2021 - JavaScript
OtterStepMini is a user friendly, up to 48V 10A stepper-motor-driver with USB-CDC and USB-PD for desktop-applications.
-
Updated
Dec 28, 2021
A reasoning system built in OTTER (theorem prover) solving the "cyphers" problem
-
Updated
May 17, 2018
The melodious shriek of otters... When your available RAM depletes. All negative critics should be adressed to @matteodcr ;-)
-
Updated
Aug 10, 2020 - Rust
Improve this page
Add a description, image, and links to the otter topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the otter topic, visit your repo's landing page and select "manage topics."