|
|
C |
10 |
Set of primitives for working with LEGO Mindstorm NXT brick |
Apr 09, 2023 |
|
|
Ruby |
3 |
A gem to interface with LEGO MINDSTORMS NXT bricks. |
Jan 14, 2013 |
|
|
Ruby |
8 |
A gem to interface with LEGO MINDSTORMS NXT bricks. |
Feb 12, 2021 |
|
|
Java |
2 |
A small experiment in using particle filters on the Lego NXT brick through Lejos |
May 21, 2017 |
|
|
Java |
28 |
Control Lego Mindstorms NXT robots from Android devices via Bluetooth |
May 04, 2021 |
|
|
OCaml |
3 |
Drive a Lego mindstorm robot outside a labyrinth and sold the Rubik's cube |
Nov 17, 2017 |
|
|
Java |
3 |
A robot that storms through mazes, powered by LEGO NXT. |
Jan 28, 2023 |
|
|
C |
3 |
Library for communicating with LEGO NXT via usb |
Jan 25, 2021 |
|
|
TypeScript |
26 |
Library for controlling Lego Boost with Web Bluetooth API |
Feb 11, 2023 |
|
|
TypeScript |
4 |
A widget library for controlling LEGO® BOOST via web-bluetooth |
Mar 12, 2023 |
|
|
C++ |
7 |
Unity Window Bluetooth Library for Embedded Systems communication |
Oct 02, 2019 |
|
|
Python |
2 |
Python library for bluetooth communication with Electric Unicycles |
Mar 04, 2021 |
|
|
Pascal |
2 |
FPC library for I2C communication through libmpsse |
Nov 22, 2023 |
|
|
C++ |
3 |
Library to interact with HM10 bluetooth module through Arduino |
Jun 21, 2021 |
|
|
Python |
2 |
This is a repository devoted to allowing computers to interface with Arduino's through Bluetooth communication. |
Oct 08, 2019 |
|
|
Python |
21 |
The library is built to be installed on a SPIKE Prime or LEGO MINDSTORMS Robot … |
Oct 17, 2022 |
|
|
Java |
6 |
This is an Android bluetooth client server library for communication any device via bluetooth with … |
Jun 28, 2022 |
|
|
C++ |
4 |
The c++ library of ICS3.x communication for drive servo motors on Linux |
Jan 28, 2023 |
|
|
C |
2 |
This example implements a multilink communication between a STM32WB5MM-DK board and up to 8 smartphones … |
Apr 22, 2022 |
|
|
Java |
144 |
A library for Android to simplify basic serial communication over Bluetooth, for example when communicating … |
May 14, 2023 |
|
|
OCaml |
3 |
Documentation for atdgen |
Nov 02, 2020 |
|
|
OCaml |
3 |
Investigating incomplete OCaml stack backtraces |
Nov 02, 2020 |
|
|
OCaml |
3 |
OCaml-stuffed templates |
Nov 02, 2020 |
|
|
OCaml |
3 |
Epsilon-greedy solution to the multiarmed-bandit problem, with recency bias |
Nov 02, 2020 |
|
|
OCaml |
3 |
How much stuff fits in a spherical shell of various dimensions? |
Nov 02, 2020 |
|
|
OCaml |
3 |
Dynamic signal uniformization |
Apr 07, 2021 |
|
|
OCaml |
3 |
Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL … |
Apr 18, 2020 |
|
|
OCaml |
4 |
An implementation of a Hindley-Milner type system with Algorithm W for inference in OCaml. |
Jan 25, 2022 |
|
|
OCaml |
4 |
Runtime and runner for a compiler from SQL to JavaScript |
Mar 22, 2022 |
|
|
OCaml |
4 |
Pure OCaml parser for URIs for Geographic Locations |
Apr 22, 2022 |
|
|
OCaml |
4 |
An automatic recursive function transformer. |
May 13, 2022 |
|
|
OCaml |
4 |
API + Telegram bot + SPA for Dota 2 hero voicelines |
Jun 07, 2021 |
|
|
OCaml |
4 |
None |
Apr 01, 2019 |
|
|
OCaml |
4 |
Access the Linear or RBF kernel SVM from OCaml using the R e1071 or svmpath … |
Mar 09, 2020 |
|
|
OCaml |
4 |
Wrapper on top of libsvm-tools |
Nov 16, 2021 |
|
|
OCaml |
4 |
Ocaml Learning |
Dec 29, 2015 |
|
|
OCaml |
4 |
Mathematical proof checker which can be used to create Qeditas theories, signatures and documents |
Sep 01, 2021 |
|
|
OCaml |
4 |
testing ppx_deriving_crowbar by automatically deriving parsetrees, and why not test them after that |
Aug 03, 2020 |
|
|
OCaml |
4 |
Tools for making, manipulating, and viewing cross-stitch patterns. |
Feb 03, 2022 |
|
|
OCaml |
4 |
Spreadsheet demo code from http://semantic-domain.blogspot.com/2015/07/how-to-implement-spreadsheet.html with additional test harness |
Jun 10, 2019 |
|
|
OCaml |
4 |
Repositório com o conteúdo de Testes Unitários que aprensentei na Disciplina de Qualidade e Teste … |
Jul 20, 2022 |
|
|
OCaml |
4 |
None |
Jan 14, 2019 |
|
|
OCaml |
4 |
Modular type checking using open types |
Feb 12, 2016 |
|
|
OCaml |
4 |
SCGI protocol library for use in ocaml web applications |
Nov 26, 2020 |
|
|
OCaml |
4 |
This is a modified version of Ott 0.25 |
Jan 28, 2021 |
|
|
OCaml |
4 |
Intl bindings for Bucklescript |
Jul 05, 2021 |
|
|
OCaml |
4 |
An implementation of dependently typed lambda calculus |
Jul 18, 2022 |
|
|
OCaml |
4 |
Parser for chess Portable Game Format |
Aug 28, 2017 |
|
|
OCaml |
4 |
一个用 OCaml 实现的 http(s) 代理服务器, 极低的资源占用，支持 Linux 和 Mac OSX 在内的 Unix. |
May 12, 2022 |
|
|
OCaml |
4 |
None |
Nov 26, 2017 |