tdrhq/openmath tdrhq/openmath

  • Stars
    star
    1
  • Language
    C++
  • Created over 15 years ago
  • Updated over 15 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tdrhq/openmath
github

tdrhq

Reviews

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

Repository Details

Umm, this is one that is not meant for anybody to use.. just a project from high school, that is pretty pointless now.

More Repositories

1

slite

a SLIme-based TEst runner for FiveAM and Parachute Tests
Common Lisp
50
star
2

bknr.cluster

A cluster of bknr.datastores, replicated using the Raft consensus protocol.
Common Lisp
24
star
3

quick-patch

Easily override quicklisp projects without using git submodules
Common Lisp
20
star
4

easy-macros

A Common Lisp library to define less error-prone macros, faster.
Common Lisp
20
star
5

auto-restart

automatically generate restart-cases for the most common use cases, and also use the restart for automatic retries
Common Lisp
13
star
6

fiveam-matchers

An extensible, composable matchers library for fiveam
Common Lisp
8
star
7

opc

CMI OPC grader
PHP
7
star
8

cl-unix-sockets

Common Lisp
5
star
9

pidgin-clone

Arnold's pidgin repo for sco 2009
C
5
star
10

yathink

A ThinkPad Fan Controller, written in C, based on Tpfan, and especially designed for my X200
C
4
star
11

screenshotbot-example

Kotlin
3
star
12

ruby-gdb-backtrace

Ruby
2
star
13

cis511

code for cis511
2
star
14

config

personal config files for sharing across work and personal machines
Emacs Lisp
2
star
15

tunnel-scripts

A set of C programs to make life as a SSH-tunneller easier and more responsible.
C
2
star
16

cis540

Python
2
star
17

eyepatch

Mock static methods in Android (Dalvik/ART) tests
Java
1
star
18

lal-elisp

elisp we use (or will use) at lal
Emacs Lisp
1
star
19

thrift-forking-server

Ruby
1
star
20

rediffbol-prpl

Rediffbol protocol plugin for Pidgin/libpurple
C++
1
star
21

mini-lisp

an attempt at writing a lightweight lisp interpreter on android
Java
1
star
22

xyz-unit

xyz Unit hopes to be an architecture specification, and eventually C implementation of a more advanced Unit Testing system.
1
star
23

file-lock

Common Lisp
1
star
24

manageit

manageit
Ruby
1
star
25

cmi-www

personal webpage on CMI
1
star
26

takeover

a simple gem that uses iptables to map a fixed ip address to an internal address, so that the internal service can be restarted with zero downtime.
Ruby
1
star