• Stars
    star
    12
  • Rank 1,597,372 (Top 32 %)
  • Language
    OCaml
  • License
    GNU General Publi...
  • Created about 13 years ago
  • Updated about 13 years ago

Reviews

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

Repository Details

(Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)

More Repositories

1

gradient-halide

C++
102
star
2

uggedal-thesis

Git mirror of the LaTeX source for Eivind Uggedal's gorgeously typeset masters thesis.
60
star
3

afsctool

Command line utility for analyzing and managing HFS+ compression.
C
41
star
4

git-p4

Old mirror from Simon Hausmann. "Scalable patch to git-p4 which won't blow out-of-memory on anything but the smallest of p4 depots"
25
star
5

halide-python-tutorials

Fredo's version of the Halide introductory tutorials in Python, for 6.815/6.865
Python
25
star
6

QuickDraw

QuickDraw is the Macintosh library for creating bit-mapped graphics, which was used by MacPaint and other applications. It consists of a total of 17,101 lines in 36 files, all written in assembler language for the 68000.
22
star
7

redis-cplusplus-client

A C++ client for Redis.
C++
22
star
8

scrobbl

Last.fm scrobbler for jailbroken iPhone OS devices
Objective-C
17
star
9

stb

Miscellaneous excellent public domain C code from Sean Barrett.
C
14
star
10

sicp

SICP in other languages
10
star
11

vim-ocaml

Packaging of Markus Mottl's Vim scripts for OCaml
Vim Script
8
star
12

tinyrt

A template library which provides a set of modular, generic, and reasonably efficient implementations of common raytracing algorithms. (Mirror of Sourceforge SVN)
C++
8
star
13

tortoisegit

Closely tracking branch of official TortoiseGit repository
C++
7
star
14

passfs

Trivial passthrough FUSE filesystem - mirrored from http://sysdocs.stu.qmul.ac.uk/sysdocs/Comment/FuseUserFileSystems/FuseBase.html
C
7
star
15

llvm-py

THIS IS NOT MY PROJECT, NOR IS IT ACTIVELY DEVELOPED. This is a Git mirror of mdevan's LLVM bindings for Python.
Python
6
star
16

transmission-daemon-smf

An installer to tie transmission-daemon into the Solaris SMF framework
5
star
17

hlvm

Mirror of HLVM SVN
OCaml
5
star
18

gnuplot-py

Local copy of gnuplot-py from Sourceforge SVN
Python
4
star
19

QuakeTM

A Git mirror of QuakeTM, a parallel version of Quakeworld server application, parallelized from the sequential version using OpenMP and transactional memory.
C
4
star
20

stable-fluid

Stable fluids demo in Halide
JavaScript
4
star
21

camlimages

Mirror of CamlImages bitbucket repository
OCaml
4
star
22

fits-image

Trivial Halide FITS image loader
C
4
star
23

config-files

jrk's dotfiles
Shell
3
star
24

lsst-halide-demo

A very simple standalone demo of how to use Halide to compute a spatially varying convolution
C++
3
star
25

words

Mirror of Whitaker's Words Latin-English-Latin dictionary source
Ada
3
star
26

Services

My Mac OS X Services
3
star
27

llvmptxbackend

GitHub mirror of LLVM PTX Backend from the AnySL project
C++
3
star
28

TwitterBackup

Automatically and robustly dump a full archive of tweets and sent and received direct messages to JSON.
Python
3
star
29

python-simplenote

Python Simplenote library
Python
2
star
30

minion-pro

Scripts to install Adobe Minion Pro for (pdf)TeX usage
Shell
2
star
31

dotjs

My .js
JavaScript
2
star
32

case-insensitive-fs

Simple FUSE loopback filesystem to add OS X-style case-insensitive behavior on top of a case-sensitive underlying system
Python
2
star
33

Logorrhea

Source mirror of Spiny Software's Logorrhea iChat log tool
C
2
star
34

suif2

SUIF 2.2 compiler infrastructure (mirror)
C++
2
star
35

hlpy

Jupyter Notebook
2
star
36

jrk.tmbundle

Personal TextMate tweaks and extensions.
2
star
37

encfs_mac

Cleanly Mac-buildable branch of the encfs SVN trunk
2
star
38

megazoomer

makes windows full-screen on OS X
Objective-C
2
star
39

ProwlIt

Bookmarklet to send the current page to Prowl, to push to iPhone OS devices.
JavaScript
2
star
40

fortress.tmbundle

Fortress language bundle for TextMate
2
star
41

halide-cuda-sat-perf

Summed area table performance test
CSS
1
star
42

md2html

A trivial AppEngine service which replies to Markdown emails with rendered HTML.
Python
1
star
43

popi

Beyond Photography - The Digital Darkroom (1988)
Shell
1
star
44

jrk-s-Commands

A background scriptable application for custom AppleScript commands.
Objective-C
1
star
45

cpython

Mirror of CPython
1
star
46

halide-docker

Dockerfile
1
star
47

clang

Mirror of clang
C++
1
star
48

strsv

Optimized triangular solvers
C++
1
star
49

llvm

Tweaked mirror of LLVM, including clang as a submodule
C++
1
star
50

bpsweb

Web site for Beyond Programmable Shading 2010
1
star
51

halide-gpu-perf

Halide GPU performance tests, Jan. 2017
C++
1
star