@Tipoca
Guthub

Tipoca

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    109
  • Global Org. Rank 55,643 (Top 18 %)
  • Registered almost 11 years ago
  • Most used languages
    OCaml
         54.5 %
    Scheme
         9.1 %
    Java
         9.1 %
    JavaScript
         9.1 %
    Python
         9.1 %
    Standard ML     9.1 %

Top 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

intellij-ocaml

Automatically exported from code.google.com/p/intellij-ocaml
Java
1
star
12

node-bluetoothctl

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