fetburner/coq-dijkstra fetburner/coq-dijkstra

  • Stars
    star
    12
  • Rank 1,597,372 (Top 32 %)
  • Language Coq
  • License
    MIT License
  • Created almost 4 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
fetburner/coq-dijkstra
github

fetburner

Reviews

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

Repository Details

A Verified Implementation of Dijkstra's Algorithm

More Repositories

1

sumiilab-tex

東北大学 住井研究室のステキな TeX ファイルたち
TeX
35
star
2

type-infer

A Formal Verification of Algorithm W
Coq
16
star
3

compelib

競プロ用ライブラリ
OCaml
15
star
4

Udon

A Hobby implementation of ML
Standard ML
15
star
5

Coq2SML

OCaml
6
star
6

c-7-in-ocaml

OCaml
5
star
7

MLstudy2

ML勉強会#2 (https://ml-lang.connpass.com/event/58151/) のスライド
TeX
4
star
8

Lazy

Interpreter for call-by-need functional language
Standard ML
4
star
9

MLDay2

枠が空いてればLTをやる
TeX
4
star
10

Misc

Misc programs
Coq
2
star
11

dotfiles

Emacs Lisp
2
star
12

MLstudy

TeX
2
star
13

call-by-need

A Formalization of Ariola and Felleisen's call-by-need lambda calculus
TeX
2
star
14

EvalML3

OCaml
1
star