qfiard/SimpleMLCompiler qfiard/SimpleMLCompiler

  • Stars
    star
    2
  • Language
    OCaml
  • Created almost 12 years ago
  • Updated over 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
qfiard/SimpleMLCompiler
github

qfiard

Reviews

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

Repository Details

Compiler for a subset of ML

More Repositories

1

cuda-sat-solver

An implementation of a SAT solver using the CUDA library
C++
15
star
2

diff_match_patch

C++11 port of the Diff, Match and Patch libraries for Plain Text.
C++
12
star
3

CoqCertifiedCompiler

A compiler for a very simple language, certified in Coq
Coq
3
star
4

GooglifyCMake

A project that allows using CMake like Blaze (Google's build system) for C++, Objective-C, Java, Python and R.
C++
3
star
5

shark

Fork of the Shark Machine Learning Library
C++
2
star
6

PlagiarismChecker

Java
1
star
7

intel_pcm

CMake binding for Intel's Performance Counter Monitor library
C++
1
star