Giters
Alejandro R Mosteo (mosteo)

mosteo

Geek Repo

62

followers

70

following

202

stars

Company:Centro Universitario de la Defensa de Zaragoza

Location:Spain

Home Page:http://www.mosteo.com

Twitter:@mosteobotic

Github PK Tool:Github PK Tool

Organizations
alire-project

Alejandro R Mosteo's starred repositories

Docker-OSX

Run macOS VM in a Docker! Run near native OSX-KVM in Docker! X11 Forwarding! CI/CD for OS X Security Research! Docker mac Containers.

Language:ShellLicense:GPL-3.0Stargazers:37762Issues:387Issues:608

examples

A set of examples around pytorch in Vision, Text, Reinforcement Learning, etc.

Language:PythonLicense:BSD-3-ClauseStargazers:22099Issues:397Issues:636

rosshow

Visualize ROS topics inside a terminal with Unicode/ASCII art

Language:PythonLicense:BSD-3-ClauseStargazers:1042Issues:23Issues:11

rosboard

ROS node that turns your robot into a web server to visualize ROS topics

Language:JavaScriptLicense:NOASSERTIONStargazers:833Issues:18Issues:28

comics-downloader

tool to download comics and manga in pdf/epub/cbr/cbz from a website

Language:GoLicense:MITStargazers:463Issues:13Issues:111

industrial_ci

Easy continuous integration repository for ROS repositories

Language:ShellLicense:Apache-2.0Stargazers:242Issues:27Issues:353

diskgraph

Graphs the disk IO in a linux terminal.

Language:CLicense:MITStargazers:197Issues:7Issues:5

rtui

TUI tool for ROS

Language:PythonLicense:Apache-2.0Stargazers:196Issues:6Issues:5

CuBit

General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64

Language:AdaLicense:GPL-3.0Stargazers:78Issues:14Issues:5

libkeccak

SHA-3 and other Keccak related algorithms in SPARK/Ada.

Language:AdaLicense:BSD-3-ClauseStargazers:33Issues:6Issues:8

SweetAda

Ada-language framework

Language:AdaLicense:NOASSERTIONStargazers:33Issues:10Issues:6

freqtop

Monitor for the CPU Frequency Scaling under Linux.

Language:CLicense:MITStargazers:29Issues:3Issues:0

augusta

An Ada 2012 compiler in Scala

Language:ScalaLicense:Apache-2.0Stargazers:28Issues:4Issues:1

vim-ada

Ready-to-deploy plugins and configuration which change Vim/NeoVim into (mostly Ada) IDE

Language:Vim ScriptStargazers:27Issues:5Issues:1

User-Community-Input

Ada User Community Input Working Group - Github Mirror Prototype

Stargazers:26Issues:26Issues:99

libgade

A GameBoy emulation library in Ada

Language:AdaLicense:GPL-3.0Stargazers:26Issues:3Issues:13

AURA

The AURA Reference Implementation

Language:AdaLicense:BSD-3-ClauseStargazers:22Issues:4Issues:23

Ada-SPARK-Crate-Of-The-Year

Stargazers:19Issues:35Issues:22

aShell

A component to aid in writing shell-like applications in Ada.

Language:AdaLicense:NOASSERTIONStargazers:13Issues:6Issues:2

kindle_eo_eng

Esperanto to English dictionary for Kindle

Language:PythonLicense:MITStargazers:13Issues:4Issues:6

git-pr-linear-merge

Merges pull requests by rebasing before merging, preserving linear history

Language:PythonLicense:MITStargazers:13Issues:2Issues:4

AdaBots

Learn Ada by programming Minecraft robots!

Language:AdaLicense:MITStargazers:12Issues:4Issues:2

aarch64-alire-index

Alire port to aarch64

License:GPL-3.0Stargazers:11Issues:6Issues:1

go-enc2ly

Language:GoStargazers:9Issues:4Issues:3

Ball-On-Beam

Simulator of a ball on beam system

Language:AdaLicense:CC0-1.0Stargazers:5Issues:1Issues:0

annotationsforall

Public repository of formal specifications for libraries

Language:CLicense:NOASSERTIONStargazers:4Issues:0Issues:0

play_2048

2048 game: merge equal tiles until you add up to 2048

Language:AdaLicense:GPL-3.0Stargazers:4Issues:1Issues:1

Prolog

Simple Ada Prolog library

Language:AdaLicense:NOASSERTIONStargazers:4Issues:4Issues:1

alix

A package manager for Ada

Language:AdaStargazers:3Issues:0Issues:0

webots_ros2_p3at

webots_ros2_p3at

Language:PythonStargazers:1Issues:2Issues:0