JamesGallicchio/RedBot JamesGallicchio/RedBot

  • This repository has been archived on 19/Dec/2023
  • Stars
    star
    2
  • Language
    Scala
  • License
    MIT License
  • Created almost 8 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JamesGallicchio/RedBot
github

JamesGallicchio

Reviews

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

Repository Details

General Purpose Discord Bot

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

lean-openapi

Lean
4
star
5

eternity2

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

waterfall

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

SmtLibLean

some experiments with SMT-LIB
Lean
3
star
8

brunched-invitations

Lean
2
star
9

pauline

Lean formalization of SML, mainly for educational purposes
Lean
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