01mf02/sml-ocaml 01mf02/sml-ocaml

  • Stars
    star
    3
  • Rank 3,854,627 (Top 79 %)
  • Language
    Haskell
  • Created about 9 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
01mf02/sml-ocaml
github

01mf02

Reviews

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

Repository Details

SML to OCaml converter

More Repositories

1

jaq

A jq clone focussed on correctness, speed, and simplicity
Rust
2,453
star
2

kontroli-rs

Alternative implementation of the logical framework Dedukti in Rust
Rust
21
star
3

pandocfilters

Pandoc filters for scientific writing
Python
16
star
4

hifijson

High-fidelity JSON lexer and parser
Rust
12
star
5

computers-spaceflight

A cleaned version of the book "Computers in Spaceflight: The NASA Experience"
HTML
11
star
6

cop-rs

Connection provers in Rust
Rust
7
star
7

notes

PhD diary
Makefile
3
star
8

thesis

Master's thesis
Isabelle
2
star
9

jq-lang-spec

Formal specification of the jq language
Typst
2
star
10

lazy-mt

Multi-threaded lazy evaluation in Rust
Rust
1
star
11

uct

Functional UCT
OCaml
1
star
12

DS

Java
1
star
13

lazy-st

Single-threaded lazy evaluation in Rust
Rust
1
star
14

lea

Files for the LΓ©a compiler
Java
1
star
15

parcours

Parser Combinators for Unique Results
Rust
1
star