Tipoca/intellij-ocaml Tipoca/intellij-ocaml

  • Stars
    star
    1
  • Language
    Java
  • License
    GNU General Publi...
  • Created almost 9 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Tipoca/intellij-ocaml
github

Tipoca

Reviews

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

Repository Details

Automatically exported from code.google.com/p/intellij-ocaml

More Repositories

1

hlvm

High-Level Virtual Machine for statically-typed functional languages.
OCaml
48
star
2

ntplib

An irregularly-updated clone of Charles-Francois Natali's NTP client library for Python.
Python
18
star
3

handbook-of-practical-logic-and-automated-reasoning

Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"
15
star
4

intuitionistic

Intuitionistic Programming Language
OCaml
11
star
5

scmutils

Scheme Classical Mechanics utilities from Gerald Jay Sussman, as found at http://groups.csail.mit.edu/mac/users/gjs/6946/ and mit-scheme distribution removed.
Scheme
7
star
6

dml

Dependent ML
OCaml
3
star
7

ensemble

The Ensemble Distributed Communication System
OCaml
2
star
8

fgl

FGL - A Functional Graph Library
Standard ML
1
star
9

ocaml-regexp

Claude MarchΓ©'s (very fast) Regexp Library for OCaml.
OCaml
1
star
10

unison

Unison File Synchronizer
OCaml
1
star
11

node-bluetoothctl

bluetoothctl wrapper for nodejs (https://www.npmjs.com/package/bluetoothctl)
JavaScript
1
star