Giters
Agustín Borgna (ABorgna)

ABorgna

Geek Repo

28

followers

18

following

26

stars

Company:Quantinuum

Location:Cambridge, UK

Github PK Tool:Github PK Tool

Organizations
petgraph
teglvaerk

Agustín Borgna's starred repositories

awesome

😎 Awesome lists about all kinds of interesting topics

License:CC0-1.0Stargazers:323301Issues:7764Issues:340

CppCoreGuidelines

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

Language:CSSLicense:NOASSERTIONStargazers:42436Issues:1963Issues:1167

vim-plug

:hibiscus: Minimalist Vim Plugin Manager

Language:Vim ScriptLicense:MITStargazers:33888Issues:377Issues:1018

linux-insides

A little bit about a linux kernel

Language:PythonLicense:NOASSERTIONStargazers:29818Issues:1358Issues:182

barrier

Open-source KVM software

Language:CLicense:NOASSERTIONStargazers:27177Issues:259Issues:1518

awesome-reMarkable

A curated list of projects related to the reMarkable tablet

License:CC0-1.0Stargazers:6077Issues:256Issues:37

evcxr

Language:RustLicense:NOASSERTIONStargazers:5470Issues:55Issues:254

petgraph

Graph data structure library for Rust.

Language:RustLicense:Apache-2.0Stargazers:2835Issues:33Issues:306

How_to_learn_modern_Rust

A guide to the adventurer.

Stargazers:2715Issues:34Issues:6

post-rfc

Blog post previews in need of peer review

License:CC-BY-4.0Stargazers:2191Issues:136Issues:64

geo-heatmap

:world_map: Generate an interactive geo heatmap from your Google location data

Language:PythonLicense:MITStargazers:2039Issues:40Issues:31

awesome-cpus

All CPU and MCU documentation in one place

Language:HTMLLicense:CC0-1.0Stargazers:1889Issues:102Issues:14

elements-of-rust

rust style and philosophy

Stargazers:1096Issues:64Issues:0

pboy

a small .pdf management tool with a command-line UI

Language:HaskellLicense:BSD-3-ClauseStargazers:737Issues:12Issues:29

Airshare

Cross-platform content sharing in a local network

Language:HTMLLicense:NOASSERTIONStargazers:644Issues:19Issues:20

roogle

A Rust API search engine

Language:RustLicense:Apache-2.0Stargazers:393Issues:6Issues:11

haskell-symbol-search-cheatsheet

Haskell/GHC symbol search cheatsheet

Stargazers:323Issues:21Issues:1

fun

Language:ShellStargazers:232Issues:17Issues:7

RustQIP

Quantum computing using rust. Efficient and a borrow-checked no cloning theorem!

Language:RustLicense:MITStargazers:227Issues:10Issues:28

application

Buckets Desktop Application

Stargazers:184Issues:14Issues:1020

WIG

Tools for 802.11 information gathering.

Language:PythonStargazers:116Issues:13Issues:2

dotaUpdatesBot

A telegram bot for dota2 updates

Language:PythonLicense:GPL-3.0Stargazers:23Issues:2Issues:29

formulario-concursos

Formulario de inscripcion para concursos auxiliares de la Facultad de Ciencias Exactas y Naturales de la Universidad de Buenos Aires.

Language:TeXStargazers:9Issues:2Issues:0

dots

Personal dotfiles

Language:PerlStargazers:2Issues:2Issues:0

wibbly-wobbly-gamy-wimey

This repo started to create a roguelite dungeon crawler for the the GGJ2021, then got out of hands

Language:RustStargazers:1Issues:3Issues:0

HoTT-en-Agda

Implementación de los fundamentos de HoTT en Agda; labandalambda.

Language:AgdaStargazers:1Issues:3Issues:0