Quelklef/mathsproofbot Quelklef/mathsproofbot

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language
    Python
  • Created over 4 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Quelklef/mathsproofbot
github

Quelklef

Reviews

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

Repository Details

Writing proofs to Twitter since April 2020

More Repositories

1

lilt

LILT: noun, A characteristic rising and falling of the voice when speaking; a pleasant gentle accent.
Nim
19
star
2

nim-finals

Macro for transparently defining final fields
Nim
7
star
3

nim-sugerror

Templates for terse and composable error handling in Nim
Nim
6
star
4

purescript-postgres

PostgreSQL bindings for Purescript
PureScript
3
star
5

y

PureScript
3
star
6

fitch

Interactive proof assistant for Fitch-style natural deduction
PureScript
3
star
7

js-true-clone

A deep cloning JS algorithm aware of prototypes, getters/setters, etc.
JavaScript
2
star
8

3.725254969642999e-321

An esolang centered around 64-bit IEEE 754 floating-point numbers
Nim
2
star
9

purversion

Richly-typed and versioned localStorage keys for Purescript
PureScript
2
star
10

unplate

A minimal Python templating engine for people who don't like templating engines.
Python
2
star
11

hours

hacky hours tracking
PureScript
1
star
12

ps-inline-asm

Inline JavaScript expressions in Purescript
JavaScript
1
star
13

gorged

Turn off the damned website feeds!
JavaScript
1
star
14

random-algorithms

so1TpzpOyCizrHpZWQc9
Python
1
star
15

daygen

randomize your life!
Nix
1
star
16

habitat

System configuration
Nix
1
star
17

local-postgres

A tool for local and anonymous PostgreSQL instances
Nix
1
star
18

prime-spirals

https://math.stackexchange.com/questions/2072308/help-with-a-prime-number-spiral-which-turns-90-degrees-at-each-prime/2076349#2076349
JavaScript
1
star
19

notula

A formula builder for Notion
PureScript
1
star