o-santi/verified-chess o-santi/verified-chess

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language Coq
  • Created 4 months ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
o-santi/verified-chess
github

o-santi

Reviews

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

Repository Details

Verified Chess Verifier

More Repositories

1

emacs

My emacs config (as a nix flake)
Nix
10
star
2

functional-structures

my studies through functional implementations of common data-structures
9
star
3

kind-mode

Kind-lang major mode for emacs
Emacs Lisp
4
star
4

krypto

Implementation of common Cryptographic functions in HVM for Kindelia
Python
4
star
5

kirei

functional type-dependent (very simple) language
4
star
6

nixchess

Rust
3
star
7

js-compiler

Compilador de Javascript em C++
C++
2
star
8

nesp

NES emulator in lisP
Common Lisp
2
star
9

desemprego

the cool shit i do in my free time while i dont have a job
Python
1
star
10

mixrank-product-interview

Mixrank Product Engineer Interview
Rust
1
star
11

py-hvm

Rust
1
star
12

hltv-stats

mini hltv database
JavaScript
1
star
13

AD

repositório para entrega de trabalhos de avaliação e desempenho (2023.2)
Python
1
star