arthurpaulino/LeanREPL arthurpaulino/LeanREPL

  • Stars
    star
    8
  • Rank 2,089,790 (Top 42 %)
  • Language Lean
  • License
    Apache License 2.0
  • Created over 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
arthurpaulino/LeanREPL
github

arthurpaulino

Reviews

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

Repository Details

More Repositories

1

miraiml

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

LeanMySQL

A MySQL API for Lean 4
Lean
12
star
3

lean2md

Python
11
star
4

NumLean

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

FxyLang

Lean
10
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