8000 gpoesia (Gabriel Poesia) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View gpoesia's full-sized avatar

Highlights

  • Pro

Block or report gpoesia

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Rust bindings for the Python interpreter

Rust 13,948 855 Updated Jul 4, 2025

AI-assisted verification of Dafny Programs

Python 9 2 Updated Jun 1, 2025

GHOSTS dataset

38 6 Updated Jul 19, 2023

A Python implementation of mustache

Python 526 58 Updated Aug 24, 2023

A scalable abstraction learning library

Rust 80 9 Updated Jul 3, 2025

Code for DeepCubeA, a Deep Reinforcement Learning algorithm that can learn to solve the Rubik's cube.

Python 181 60 Updated Dec 9, 2024

A Java program synthesizer.

Java 21 8 Updated Mar 28, 2019

A source-to-source compiler for automatic parallelization of C programs through code annotation.

C++ 62 8 Updated Feb 28, 2020

Cranelift code generator

2,496 201 Updated Jun 26, 2020

It's a presentation framework based on the power of CSS3 transforms and transitions in modern browsers and inspired by the idea behind prezi.com.

JavaScript 37,962 6,643 Updated Feb 5, 2025

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

Rust 30,930 3,197 Updated Jul 6, 2025

A playful CS 101 course designed for children with a novel approach

JavaScript 13 1 Updated May 18, 2017

Flake8 plugin for Vim

Vim Script 1,071 99 Updated Oct 4, 2023
0