Quelklef/fitch Quelklef/fitch

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language PureScript
  • Created about 6 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Quelklef/fitch
github

Quelklef

Reviews

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

Repository Details

Interactive proof assistant for Fitch-style natural deduction

More Repositories

1

lilt

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

mathsproofbot

Writing proofs to Twitter since April 2020
Python
11
star
3

nim-finals

Macro for transparently defining final fields
Nim
7
star
4

nim-sugerror

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

purescript-postgres

PostgreSQL bindings for Purescript
PureScript
3
star
6

y

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