opentau

Using Large Language Models for Gradual Type Inference

Stars

85

Forks

8

Language

Rust

Last Updated

Jan 04, 2024

Similar Repos
Repo Language Stars Description Updated At
Ruby 31 Gradual type checker for Ruby Feb 02, 2023
Jupyter Notebook 2 An unbiased model for Natural Language Inference using generative models. May 11, 2022
Python 5 Inference code for LLaMA models Mar 20, 2023
Python 4 Inference code for LLaMA models Apr 18, 2023
Python 2 Inference code for LLaMA models Apr 25, 2023
None 4 Inference code for LLaMA models Apr 18, 2023
Python 17218 Inference code for LLaMA models Apr 10, 2023
Python 4 Inference code for LLaMA models Mar 21, 2023
Python 2 Inference code for LLaMA models Apr 19, 2023
Jupyter Notebook 26 Inference code for LLaMA models Apr 22, 2023
Python 174 Inference code for LLaMA models Apr 24, 2023
Python 4 Inference code for LLaMA models Apr 28, 2023
Python 2 Inference code for LLaMA models Mar 09, 2023
Python 3 Inference code for LLaMA models Mar 21, 2023
None 2 Inference code for LLaMA models Jul 05, 2023
Python 3 Inference code for LLaMA models Jul 21, 2023
None 2 Inference code for LLaMA models May 24, 2023
Python 962 Quantized inference code for LLaMA models Apr 23, 2023
Python 3 Quantized inference code for LLaMA models May 13, 2023
Haskell 3 Small language with Pierce/Turner type inference Apr 11, 2022
Python 5 [NOT TESTED!] Inference code for LLaMA models Mar 16, 2023
Python 93 Inference on CPU code for LLaMA models Apr 27, 2023
Python 60 Inference code for LLaMA models in JAX May 08, 2023
OCaml 4 Small Caml Light language featuring type inference, code transformations and a module system Jun 23, 2021
Python 11 Inference code for LLaMA models (modified for cpu) Apr 29, 2023
Ballerina 2 Ballerina ReAct type Agent module using Large language models (LLMs) Jun 02, 2023
C++ 41 Bayesian Phylogenetic Inference Using Graphical Models and an Interactive Model-Specification Language Apr 26, 2023
Python 5 Type inference provider using mypy for LibCST! :sparkles: May 26, 2023
Haskell 5 Experimental multi-paradigm programming language with full type inference. Oct 07, 2022
Rust 5 A functional programming language with Hindley-Milner type inference Jan 30, 2022
JavaScript 2 type inference for js Jan 08, 2018
None 2 Low-cost Inference Package for Big Pretrained Language Models (PLMs) Dec 02, 2023
Python 3 More detailed growth models using inference. Apr 25, 2022
Haskell 2 Bidirectional type inference with wildcards, or "unidirectional type inference" Dec 05, 2019
Jupyter Notebook 26 Probabilistic type inference May 21, 2022
Julia 12 maintainable type inference Apr 19, 2023
JavaScript 286 A ready-to-fork interpreted functional language with type inference Sep 09, 2022
Python 10 Code for training & inference with FLAN family of models Apr 24, 2023
Python 102 Inference code for facebook LLaMA models with Wrapyfi support May 01, 2023
Python 2 Natural language inference models for the Scandinavian languages (da, sv, nb). Jan 02, 2023
Python 5 Use GPT-3 and other language models for structured inference today Feb 03, 2023
OCaml 4 Type inference engine for Ruby Jun 26, 2022
Jupyter Notebook 8 Source code and pretrained models for pix2pix - Inference on image and paint using pyqt5 May 31, 2022
Python 4 Performing membership inference attack (MIA) against Korean language models (LMs). May 26, 2023
Jupyter Notebook 181 Pretrained Language Models for Source code Aug 25, 2022
F# 3 A hobby language for the .NET platform that supports Hindley–Milner type inference. Mar 29, 2023
Clojure 5 Hindley-Milner type inference. Oct 09, 2020
OCaml 171 Prototype type inference engine Jul 27, 2022
TeX 38 Type inference in OCaml Mar 30, 2023
TypeScript 9 ts-type-inference-test Mar 08, 2023