MarisaKirisame/Coq_code MarisaKirisame/Coq_code

  • Stars
    star
    10
  • Rank 1,807,489 (Top 36 %)
  • Language Coq
  • License
    GNU Lesser Genera...
  • Created over 10 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
MarisaKirisame/Coq_code
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

first_order_logic_prover

C++
57
star
2

resume

TeX
40
star
3

zombie

Zombie chan revive!
C++
24
star
4

MemoryBalancer

Python
22
star
5

algebraic_data_type

C++
19
star
6

reflection

C++
18
star
7

HappyTree

Happy Little Decision Tree
Haskell
15
star
8

lambda_calculus

C++
14
star
9

CompilingCombinator

Code for my blog
Haskell
11
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

megatron-paper

TeX
3
star
21

2048

C++
3
star
22

unroll_gan

Python
2
star
23

MarisaKirisame

2
star
24

RubikCube

C++
2
star
25

CSP

constraint satisfication programming
C++
2
star
26

PE

OCaml
2
star
27

cpp_common

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

Yasuo

Playing with compression
2
star
29

sudoku_solver

C++
1
star
30

palindrome

QMake
1
star
31

onnx-dtr

1
star
32

LiterateGet

Literate Version of Get
Haskell
1
star
33

Get

You get what you want
Haskell
1
star
34

dot-spacemacs

Emacs Lisp
1
star
35

megatron

OCaml
1
star