fetburner/compelib fetburner/compelib

  • Stars
    star
    15
  • Rank 1,371,379 (Top 28 %)
  • Language
    OCaml
  • Created over 7 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
fetburner/compelib
github

fetburner

Reviews

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

Repository Details

競プロ用ライブラリ

More Repositories

1

sumiilab-tex

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

type-infer

A Formal Verification of Algorithm W
Coq
16
star
3

Udon

A Hobby implementation of ML
Standard ML
15
star
4

coq-dijkstra

A Verified Implementation of Dijkstra's Algorithm
Coq
12
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