☆12Aug 5, 2016Updated 9 years ago
Alternatives and similar repositories for lejos-ev3
Users that are interested in lejos-ev3 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An online simulator for finite automata (FA), pushdown automata (PDA) and linear bounded automata (LBA).☆11Oct 30, 2017Updated 8 years ago
- Map Coursera users (via LTI) onto a collection of Jupyter notebooks servers run in Docker containers☆18Sep 22, 2016Updated 9 years ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆26Oct 20, 2022Updated 3 years ago
- Flatpak builds for Signal, from source☆21Updated this week
- This is an utility script that incrementally backup SQLite3 Database. This approach was proposed by a Stackoverflow User which I turned i…☆20Jan 27, 2023Updated 3 years 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.
- Advent Of Code☆17Mar 5, 2026Updated 4 months ago
- Sphinx Custom Linux Kernel for Bullhead (Nexus 5X)☆12Jun 20, 2019Updated 7 years ago
- This is the finished project from my Youtube video at youtube.com/weibenfalk☆20Jun 22, 2023Updated 3 years ago
- Plugin to orchestrate custom scripts in any language including Python, Go, Node.js, R, Shell, PowerShell, and more.☆19Updated this week
- 🧊 An indexed construction of semi-simplicial and semi-cubical sets☆31Updated this week
- A Cli Utility to replace home folders with symlinks to project folders☆25Feb 16, 2026Updated 5 months ago
- Moodle 1-click app for DigitalOcean☆12Dec 6, 2022Updated 3 years ago
- Hack Cambridge online! https://hackcambridge.com☆11Feb 24, 2023Updated 3 years ago
- general value printing within compiled programs☆31Jul 6, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Gedit plugin that adds some common keyboard shortcuts to gedit☆19May 30, 2022Updated 4 years ago
- Diamond's opinionated copier template for pure Python projects managed by uv☆25Updated this week
- Design files and documentation of µHoubolt, a small and lightweight Ethanol/N2O liquid rocket sucessfully flown at EuRoC 2022.☆60Oct 7, 2023Updated 2 years ago
- KSI Java SDK☆19Aug 16, 2024Updated last year
- CDN distribution for Opal.☆12May 1, 2026Updated 2 months ago
- Dependency graphs for OCaml modules, libraries and packages☆42May 21, 2026Updated last month
- An example backend with GoLang that uses auth0 for authentication☆17Jan 20, 2023Updated 3 years ago
- A Dockerized Electrum Personal Server☆13Jun 23, 2021Updated 5 years ago
- A repository for the material of my course on lambda-calculus and categories☆44Jan 11, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- MHacks Admin/Organizer tools☆10Oct 1, 2020Updated 5 years ago
- Демонстрационное приложение на базе HBA архитектуры☆11Jun 17, 2024Updated 2 years ago
- 🚩 This is intended to be used to introduce people to Git through GitHub☆13Mar 31, 2023Updated 3 years ago
- Quickly conjure up virtual filesystems!☆24Jun 2, 2019Updated 7 years ago
- A technology agnostic cli for common semantic versioning operations.☆12Jul 13, 2026Updated last week
- A timetable extractor for University of Birmingham!☆12Jan 24, 2020Updated 6 years ago
- ☆11Aug 29, 2021Updated 4 years ago
- fresh twindv1 plugin☆12Feb 25, 2023Updated 3 years ago
- The development files to help you customise your invoice theme☆17Jul 9, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A simple REST API server is Elixir☆12Oct 31, 2022Updated 3 years ago
- Pauses multiplayer servers when all clients are paused☆15May 9, 2025Updated last year
- A minimal Retrieval-Augmented Generation (RAG) example that scrapes original Star Wars movie scripts, splits them into chunks, stores emb…☆23Jan 22, 2026Updated 5 months ago
- My internet website, for clicking on.☆17Jun 4, 2025Updated last year
- Rust Interface for Cryptolens Web API☆18Apr 26, 2026Updated 2 months ago
- Emacs package for markdown preview using xwidgets☆50Feb 5, 2026Updated 5 months ago
- Experimenting with polyhedrons and porting portions of Polyhedronism (Levskaya) to Rblx.Lua.☆12Jul 18, 2020Updated 6 years ago