siddhartha-gadgil

Siddhartha Gadgil's starred repositories

transformers

🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

Language:PythonApache-2.0129433 1118 15233

open-llms

📋 A list of open LLMs available for commercial use.

Apache-2.010640 227 35

async-profiler

Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events

Language:C++Apache-2.07330 181 647

lean4

Lean 4 programming language and theorem prover

Language:LeanApache-2.04058 66 1651

mathlib

Lean 3's obsolete mathematical components library: please use mathlib4

Language:LeanApache-2.01666 52 362

mathlib4

The math library of Lean 4

Language:LeanApache-2.01195 41 379

java

Java bindings for TensorFlow

Language:JavaApache-2.0787 38 271

scala-csv

CSV Reader/Writer for Scala

Language:ScalaNOASSERTION691 28 86

scalapy

Use the world of Python from the comfort of Scala!

Language:ScalaMIT543 23 73

miniF2F

Formal to Formal Mathematics Benchmark

Language:Objective-C++279 118 40

lean-liquid

💧 Liquid Tensor Experiment

Language:Lean162 13 76

aesop

White-box automation for Lean 4

Language:LeanApache-2.0156 9 58

theorem_proving_in_lean4

Theorem Proving in Lean 4

Language:JavaScriptApache-2.0147 11 28

snunit

Scala Native HTTP server based on NGINX Unit

Language:ScalaApache-2.0126 8 10

lean4-raytracer

A simple raytracer written in Lean 4

Language:LeanApache-2.0116 7 3

lake

**(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.

Language:LeanApache-2.098 14 97

ProofWidgets4

Helper toolkit for creating your own Lean 4 UserWidgets

Language:LeanApache-2.094 8 19

typename

Get the name of a type at compile-time. Amaze your friends!

Language:ScalaMIT75 50

quote4

Intuitive, type-safe expression quotations for Lean 4.

Language:LeanApache-2.070 6 20

lean4lean

Lean 4 kernel / 'external checker' written in Lean 4

Language:Lean65 6 1

LeanInfer

Native Neural Network Inference in Lean

Language:LeanMIT6300

doc-gen4

Document Generator for Lean 4

Language:LeanApache-2.057 12 77

tba-2021

Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition

Language:Lean50 9 2

scala-isabelle

A Scala library for controlling/interacting with Isabelle

Language:ScalaMIT35 3 9

knotfolio

A program for drawing knots and links, with support for importing images

Language:JavaScriptGPL-2.024 4 1

lean4export

Plain-text declaration export for Lean 4

Language:LeanApache-2.011 15 2

binport

A tool for building Lean4 .olean files from Lean3 export data

Language:LeanApache-2.010 10 25

FLib

A library of (checked) mathematical texts

Language:FreeMarker9 70

jzy3d

Copy of google code jzy3d project

Language:JavaNOASSERTION800

arrow_poly

Computation of (cabled) arrow polynomials of virtual knots

Language:Mathematica500