AaronC81/proton-city AaronC81/proton-city

  • Stars
    star
    17
  • Rank 1,250,567 (Top 25 %)
  • Language
    TypeScript
  • Created about 6 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
AaronC81/proton-city
github

AaronC81

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Check compatibility of Proton games

More Repositories

1

sord

Convert YARD docs to Sorbet RBI and Ruby 3/Steep RBS files
Ruby
257
star
2

parlour

A type signature generator, merger and parser system for Sorbet and Ruby 3/Steep
Ruby
82
star
3

ipython-auto-import

πŸ“₯ Automatically import a Python library in IPython when you forget to import it
Python
55
star
4

yes_i_did

Apply DidYouMean suggestions in IRB sessions
Ruby
15
star
5

pry-sorbet

Pry extension for Sorbet
Ruby
14
star
6

delta-pico

Powerful scientific calculator based on the Raspberry Pi Pico
Rust
13
star
7

interphase

A powerful, easy-to-use, native-looking GUI library for Ruby
Ruby
10
star
8

Disintegrate

Discord rich presence for DOTA 2 and CS:GO
C#
7
star
9

brain_freeze

Generate a Sorbet RBI for a gem with inline types
Ruby
3
star
10

babble

Experimental interpreted programming language with Smalltalk syntax
Rust
3
star
11

houndstooth

Final year project at UoY - experimental Ruby type checker with metaprogramming support
Ruby
3
star
12

hammerspoon_bridge

Use Hammerspoon's macOS automation API from Python
Python
3
star
13

rbop

Rust framework for writing mathematical expression editors
Rust
2
star
14

focal

Self-hosted photo library which stays out of your way
Ruby
2
star
15

sysdo

Automate things on your Linux system
Ruby
2
star
16

try-sord

Interactive Sord playground, inspired by sorbet.run
HTML
2
star
17

sord-server

Simple API which runs POST-ed Ruby code through Sord
Ruby
2
star
18

rn

An organised dumping ground for quick code projects or experiments
Shell
2
star
19

parlour-datamapper

Parlour plugin to generate DataMapper resource types
Ruby
1
star
20

pinetime

C
1
star
21

sorbet-cfg

Powerful semantic analysis using Sorbet's CFGs
Ruby
1
star
22

hacksoc-calendar-api

API to access HackSoc's event calendar
Ruby
1
star
23

teams-scripts

Very experimental user scripts for the Microsoft Teams client
JavaScript
1
star
24

pet-peeve

My entry to the Inaugural Gosu Game Jam ("Chaos")
Ruby
1
star
25

sorbet_duck

Statically-checked duck typing (structural typing) for Sorbet. Quack!
Ruby
1
star
26

tarn

A tiny programming language compiling to WebAssembly
Rust
1
star
27

libreframe

A vector design tool for UI prototyping
Ruby
1
star
28

delta-pico-sim

Desktop simulator for the Delta Pico
Rust
1
star
29

backtor

Thread-based backport of Ruby 3's Ractor concurrency model
Ruby
1
star
30

CustomHD44780

A modular Python HD44780 driver which can work on ANY single-board computer
Python
1
star
31

embs-design-contest-2021

EMBS Design Contest 2021
Ruby
1
star
32

AOS

An 8-bit AVR operating system
Makefile
1
star
33

advent-of-code-2021

My Advent of Code 2021 solutions, in Elixir
Elixir
1
star
34

lambdamail

A powerful, flexible mass-mailing system
Ruby
1
star
35

crossplay

YouTube audio downloader, for live performances and other non-purchasable songs
Rust
1
star
36

pico-template

Basic CMake-based template project for Raspberry Pi Pico (RP2040)
CMake
1
star
37

ruloz

Digital system simulator as a Ruby framework
Ruby
1
star
38

attiny-breakout

ISP breakout for ATTiny25/45/85
1
star