GammaTau

GammaTau's repositories

A hard gym for programming

Language:Python124 1 5

Using Large Language Models for Gradual Type Inference

Language:RustApache-2.092 4 1

Papers read during our weekly reading group

800

Fine-tune SantaCoder for TypeScript Type Inference

Language:PythonApache-2.03 10

Language:PythonMIT2 10

A library for semantically hashing blocks of code

Language:Python2 10

Language:PythonMIT1 10

A Rust library for interfacing with transformers and vLLM APIs

Language:RustMIT100

Language:Python010

010

Language:JavaScriptMIT020

Language:RustMIT000

Language:PythonMIT010

Test executor library for code in various languages

Language:PythonMIT010

Code generator library for various LLMs

Language:PythonMIT010

Language Agnostic Mutation Engine

Language:PythonMIT010

Language:Rust020