arthurpaulino/LeanMySQL arthurpaulino/LeanMySQL

  • Stars
    star
    12
  • Rank 1,589,923 (Top 32 %)
  • Language Lean
  • License
    Apache License 2.0
  • Created almost 3 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
arthurpaulino/LeanMySQL
github

arthurpaulino

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A MySQL API for Lean 4

More Repositories

1

miraiml

MiraiML: asynchronous, autonomous and continuous Machine Learning in Python
Python
25
star
2

lean2md

Python
11
star
3

NumLean

A Lean 4 package for heavy numerical computations
Lean
10
star
4

FxyLang

Lean
10
star
5

LeanREPL

Lean
8
star
6

viper

A Python environment manager built in Lean 4
Lean
7
star
7

LeanMusic

Lean
7
star
8

chrome-lean-unicode

Type Lean unicode characters in your web browser
JavaScript
3
star
9

speech-enhancement

Using neural networks to enhance speech quality of noisy recordings
Python
3
star
10

minicurso-programa-sama-1

3
star
11

MAR-bot

Assembly
2
star