Tipoca/scmutils Tipoca/scmutils

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Scheme
  • Created over 9 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Tipoca/scmutils
github

Tipoca

Reviews

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

Repository Details

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.

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

dml

Dependent ML
OCaml
3
star
6

ensemble

The Ensemble Distributed Communication System
OCaml
2
star
7

fgl

FGL - A Functional Graph Library
Standard ML
1
star
8

ocaml-regexp

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

unison

Unison File Synchronizer
OCaml
1
star
10

intellij-ocaml

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

node-bluetoothctl

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