obi1kenobi/pyre

Stars
5
Rank 2,861,937 (Top 57 %)
Language
Python
License
MIT License
Created almost 11 years ago
Updated almost 10 years ago

obi1kenobi/pyre

obi1kenobi

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

6.858 final project -- Python exploitation of PC-remote-control mobile apps

trustfall

A query engine for any combination of data sources. Query your files and APIs as if they were databases!

cargo-semver-checks

Scan your Rust crate for semver violations.

cargo-semver-checks-action

A GitHub Action for running cargo-semver-checks

typing_copilot

Helper for starting to type-hint large codebases with mypy.

monad_compiler

A compiler for the MONAD language from Advent of Code 2021 Day 24

trustfall-rustdoc-adapter

Trustfall adapter for querying rustdoc

ychacks2014

A hackathon adventure

graphql-compiler-cross-db-example

A demo of the GraphQL compiler's cross-database querying capabilities

Jupyter Notebook

trustfall-rustdoc

Trustfall adapters for various rustdoc JSON format versions

python-bootstrap

A baseline Python project with all tooling set up

kerbal-api

Programmatically querying Kerbal Space Program information, such as part characteristics

advent-of-code-2021

crates-rustdoc

Rustdoc JSON for top crates, generated by crates-rustdoc-gen

ascension-bot

A system to play the Ascension: Chronicle of the Godslayer board game in an automated fashion for the purposes of game-theoretic analysis of various strategies.

crates-rustdoc-gen

Rustdoc JSON generator for the top crates on crates.io

advent-of-code-2020

jester

An authentication system that enables two-factor authentication (2FA) using only client-side Javascript, without relying on any special server-side APIs other than password-based login and password changes for authenticated users.

kosmos

Explorations in KSP space exploration with kOS

advent-of-code-2022

Solutions for Advent of Code 2022

obsidian

Language analysis system

livedrop

An end-to-end encrypted photo sharing app using only free-to-use services, where the only trusted parties are the photo sender and recipient.

diego

A flexible transaction conflict-resolution framework written in Go