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:316865Issues:7733Issues:338

CppCoreGuidelines

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

Language:CSSLicense:NOASSERTIONStargazers:42218Issues:1962Issues:1166

vim-plug

:hibiscus: Minimalist Vim Plugin Manager

Language:Vim ScriptLicense:MITStargazers:33708Issues:376Issues:1015

linux-insides

A little bit about a linux kernel

Language:PythonLicense:NOASSERTIONStargazers:29691Issues:1360Issues:182

barrier

Open-source KVM software

Language:CLicense:NOASSERTIONStargazers:26885Issues:259Issues:1512

awesome-reMarkable

A curated list of projects related to the reMarkable tablet

License:CC0-1.0Stargazers:6009Issues:252Issues:37

evcxr

Language:RustLicense:NOASSERTIONStargazers:5396Issues:59Issues:251

petgraph

Graph data structure library for Rust.

Language:RustLicense:Apache-2.0Stargazers:2796Issues:33Issues:300

How_to_learn_modern_Rust

A guide to the adventurer.

Stargazers:2705Issues:34Issues:6

post-rfc

Blog post previews in need of peer review

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

geo-heatmap

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

Language:PythonLicense:MITStargazers:2035Issues:41Issues:31

awesome-cpus

All CPU and MCU documentation in one place

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

elements-of-rust

rust style and philosophy

Stargazers:1092Issues:64Issues:0

pboy

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

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

Airshare

Cross-platform content sharing in a local network

Language:HTMLLicense:NOASSERTIONStargazers:642Issues:19Issues:20

roogle

A Rust API search engine

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

haskell-symbol-search-cheatsheet

Haskell/GHC symbol search cheatsheet

Stargazers:321Issues:21Issues:1

fun

Language:ShellStargazers:231Issues:17Issues:7

RustQIP

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

Language:RustLicense:MITStargazers:224Issues:10Issues:28

application

Buckets Desktop Application

Stargazers:182Issues:14Issues:1012

WIG

Tools for 802.11 information gathering.

Language:PythonStargazers:114Issues: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:0Issues:0