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

act

Run your GitHub Actions locally 🚀

Language:GoLicense:MITStargazers:52854Issues:165Issues:1107

Proton

Compatibility tool for Steam Play based on Wine and additional components

Language:C++License:NOASSERTIONStargazers:23533Issues:375Issues:7507

imapsync

Imapsync is an IMAP transfers tool. The purpose of imapsync is to migrate IMAP accounts or to backup IMAP accounts. IMAP is one of the three current standard protocols to access mailboxes, the two others are POP3 and HTTP with webmails, webmails are often tied to an IMAP server. Upstream website is

Language:PerlLicense:NOASSERTIONStargazers:3278Issues:88Issues:384

cryfs

Cryptographic filesystem for the cloud

Language:C++License:LGPL-3.0Stargazers:1977Issues:67Issues:422

RcloneBrowser

Simple cross platform GUI for rclone

Language:C++License:UnlicenseStargazers:1306Issues:69Issues:141

opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

Language:OCamlLicense:NOASSERTIONStargazers:1218Issues:62Issues:3244

fred

Freenet REference Daemon

Language:JavaLicense:GPL-2.0Stargazers:1001Issues:94Issues:0

EDMarketConnector

Downloads commodity market and other station data from the game Elite: Dangerous for use with all popular online and offline trading tools.

Language:PythonLicense:GPL-2.0Stargazers:986Issues:42Issues:1029

awesome-ada

A curated list of awesome resources related to the Ada and SPARK programming language

License:CC0-1.0Stargazers:613Issues:48Issues:17

adbfs-rootless

Mount Android phones on Linux with adb. No root required.

Language:C++License:NOASSERTIONStargazers:530Issues:30Issues:44

opam-repository

Main public package repository for opam, the source package manager of OCaml.

License:CC0-1.0Stargazers:513Issues:31Issues:1319

clienteafirma

Cliente @firma

Language:JavaStargazers:250Issues:40Issues:330

Ada_Drivers_Library

Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.

Language:AdaLicense:BSD-3-ClauseStargazers:238Issues:58Issues:109

haros

H(igh) A(ssurance) ROS - Static analysis of ROS application code.

Language:PythonLicense:MITStargazers:188Issues:17Issues:70

RVD

Robot Vulnerability Database. An archive of robot vulnerabilities and bugs.

Language:PythonLicense:GPL-3.0Stargazers:168Issues:11Issues:3312

debug-action

🛠 Show environment variables and event JSON in the Action logs

Language:JavaScriptLicense:MITStargazers:113Issues:3Issues:2

hac

HAC Ada Compiler - a small, quick Ada compiler fully in Ada

Language:AdaStargazers:106Issues:17Issues:16

ada-spark-rfcs

Platform to submit RFCs for the Ada & SPARK languages

Stargazers:62Issues:58Issues:32

discussions

GitHub-based discussions about package management, questions, answers, announcements

Stargazers:53Issues:38Issues:7

wine

Wine with a bit of extra spice

Language:CLicense:NOASSERTIONStargazers:39Issues:4Issues:13

safety_working_group

ROS safety working group repository

Stargazers:36Issues:21Issues:30

msl_quad

Research quadrotor platform (software & hardware) developed at Stanford Multi-Robot Systems Lab

Language:CLicense:MITStargazers:21Issues:6Issues:28

gnat_community_install_script

Script to automate the installation of the GNAT Community Installers

Language:ShellStargazers:18Issues:40Issues:4

Cappulada

[DEPRECATED] Generate Ada bindings to C++ code

Language:PythonLicense:AGPL-3.0Stargazers:15Issues:5Issues:0

colcon-ros

Extension for colcon to support ROS packages

Language:PythonLicense:Apache-2.0Stargazers:13Issues:7Issues:55

github-repo-summary

Provides a neat overview of a Github user's repositories. Check it out here:

Language:JavaScriptLicense:Apache-2.0Stargazers:12Issues:4Issues:2

jupyter-ada-kernel

Jupyter Ada kernel

Language:PythonLicense:NOASSERTIONStargazers:8Issues:2Issues:0

nbody_sim

N-Body gravity-only simulations for "Can a negative-mass cosmology explain dark matter and dark energy?"

Language:FortranStargazers:3Issues:0Issues:0

curve25519-spark2014

An attempt to verify functions from Curve25519 implementation in SPARK2014

Language:AdaLicense:BSD-3-ClauseStargazers:3Issues:0Issues:0

test_F18_gravity

Test gravity in simulation code of Farnes (2018)

Language:PythonStargazers:1Issues:0Issues:0