Giters
Gabriel Poesia (gpoesia)

gpoesia

Geek Repo

56

followers

2

following

10

stars

Location:Belo Horizonte, Brazil

Home Page:gpoesia.com

Github PK Tool:Github PK Tool

Gabriel Poesia's repositories

peano

An environment for learning formal mathematical reasoning from scratch

Language:PythonLicense:MITStargazers:47Issues:6Issues:3

certified-reasoning

Certified Reasoning with Language Models

Language:PythonLicense:MITStargazers:27Issues:4Issues:3

minbert-default-final-project

CS 224N Winter 2023 Default Final Project: Multitask BERT

Language:PythonLicense:Apache-2.0Stargazers:23Issues:4Issues:0

loopye

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

Language:JavaScriptLicense:GPL-3.0Stargazers:13Issues:7Issues:29

xclimf

Implementation of the Extended Collaborative Less-is-more Filtering Algorithm

Language:C++License:MITStargazers:9Issues:2Issues:1

eos

Framework for implementing context-sensitive compiler optimizations in LLVM

Stargazers:8Issues:2Issues:0

listrankmf

A ListRank-MF implementation: list-wise Learning to Rank for Collaborative Filtering

Language:C++License:MITStargazers:7Issues:2Issues:0

socratic-tutor

Math tutor based on question asking

Language:PythonStargazers:7Issues:4Issues:3

magicomplete

Continually adapting autocomplete system

Language:Jupyter NotebookStargazers:6Issues:3Issues:0

CodeEditor

A React Code Editor component based on Draft.js

Language:JavaScriptLicense:MITStargazers:5Issues:3Issues:0

humaneval

Starter code for implementing a React Web app for human evaluation

Language:JavaScriptLicense:MITStargazers:3Issues:2Issues:0

cogents

COntrollable GENeration of Text from Slices

Language:PythonStargazers:2Issues:4Issues:0

rich-irt

Item Response Theory models with richer data (pre-trained item embeddings & more)

Language:PythonStargazers:2Issues:4Issues:0

mathcamps

Language:PythonLicense:MITStargazers:1Issues:0Issues:0

cmmi-game

Jogo para o ensino do modelo CMMI, desenvolvido por alunos da UFMG para a disciplina de Engenharia de Software.

Language:JavaScriptStargazers:0Issues:8Issues:28

cs224n-project

Inside-out Code Autocompletion

Language:Jupyter NotebookStargazers:0Issues:4Issues:0

autocomplete

A distributed auto-complete system with load balancing.

Language:C++License:MITStargazers:0Issues:4Issues:0

coffeeomatic

A Slack bot to arrange 1:1 coffee chats for a group

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

cretonne

Cretonne code generator

Language:RustLicense:Apache-2.0Stargazers:0Issues:2Issues:0

CVC4

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Language:SMTLicense:NOASSERTIONStargazers:0Issues:2Issues:0

dateutil

Useful extensions to the standard Python datetime features

Language:PythonLicense:NOASSERTIONStargazers:0Issues:2Issues:0

DeepCubeA-Abstractions

DeepCubeA + Abstraction Learning

Language:PythonStargazers:0Issues:1Issues:0

guidejs

Tiny (< 1KB) JavaScript library for guiding users thorough your UI

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0

icpc-team-photos

Script for putting team names and the ICPC logo on team photos.

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

saltfs

Salt Stack Filesystem

Language:PythonLicense:Apache-2.0Stargazers:0Issues:2Issues:0

sendgrid-nodejs

SendGrid Node.js helper library

Language:JavaScriptStargazers:0Issues:2Issues:0

servo

The Servo Browser Engine

License:MPL-2.0Stargazers:0Issues:2Issues:0

sketchy

A synthesizer of bit-manipulation programs

Language:PythonLicense:MITStargazers:0Issues:3Issues:0

thriftpy

Pure python implementation of Apache Thrift.

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

variational-item-response-theory-public

A PyTorch implementation of "Variational Item Response Theory: Fast Accurate, and Expressive"

Language:PythonLicense:MITStargazers:0Issues:1Issues:0