MarisaKirisame/first_order_logic_prover MarisaKirisame/first_order_logic_prover

  • Stars
    star
    57
  • Rank 511,979 (Top 11 %)
  • Language
    C++
  • License
    GNU Lesser Genera...
  • Created over 10 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
MarisaKirisame/first_order_logic_prover
github

MarisaKirisame

Reviews

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

Repository Details

More Repositories

1

resume

TeX
40
star
2

zombie

Zombie chan revive!
C++
24
star
3

MemoryBalancer

Python
22
star
4

algebraic_data_type

C++
19
star
5

reflection

C++
18
star
6

HappyTree

Happy Little Decision Tree
Haskell
15
star
7

lambda_calculus

C++
14
star
8

CompilingCombinator

Code for my blog
Haskell
11
star
9

Coq_code

Coq
10
star
10

DefComBlog

9
star
11

Artificial_Intelligence_A_Modern_Approach

exercise
C++
9
star
12

extensible-parser

Haskell
8
star
13

MemoryBalancerAE

Artifact Eval for MemoryBalancer
6
star
14

TVirus

Scala
6
star
15

zombie_paper

TeX
5
star
16

uncompute-rust

Uncompute values to save memory
Rust
4
star
17

AWSL

A draWing Sampling Library
4
star
18

DefCom

Java
3
star
19

MarisaKirisame.github.io

HTML
3
star
20

2048

C++
3
star
21

unroll_gan

Python
2
star
22

MarisaKirisame

2
star
23

RubikCube

C++
2
star
24

CSP

constraint satisfication programming
C++
2
star
25

PE

OCaml
2
star
26

cpp_common

Where codes that don't belong to any place but is used across my project is placed.
C++
2
star
27

Yasuo

Playing with compression
2
star
28

sudoku_solver

C++
1
star
29

onnx-dtr

1
star
30

palindrome

QMake
1
star
31

LiterateGet

Literate Version of Get
Haskell
1
star
32

Get

You get what you want
Haskell
1
star
33

dot-spacemacs

Emacs Lisp
1
star
34

Megatron

1
star