JamesGallicchio/lean-openapi JamesGallicchio/lean-openapi

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language Lean
  • License
    GNU General Publi...
  • Created about 1 year ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JamesGallicchio/lean-openapi
github

JamesGallicchio

Reviews

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

Repository Details

More Repositories

1

LeanColls

WIP collections library for Lean 4
Lean
29
star
2

LeanSAT

Lean
17
star
3

http

Basic HTTP definitions and parsing for Lean
Lean
6
star
4

eternity2

Efficient encoding for edge matching puzzles, to solve the Eternity II puzzle
Lean
4
star
5

waterfall

bot for managing dependent PRs, particularly dependent PRs across GH projects
Lean
3
star
6

SmtLibLean

some experiments with SMT-LIB
Lean
3
star
7

brunched-invitations

Lean
2
star
8

pauline

Lean formalization of SML, mainly for educational purposes
Lean
2
star
9

RedBot

General Purpose Discord Bot
Scala
2
star
10

LeanSerial

(De-)serialization library for Lean 4
Lean
1
star
11

lean_rms

Lean
1
star
12

Stravum

Java implementation of the Stratum Bitcoin mining protocol
Scala
1
star