timfel/z3 timfel/z3

  • Stars
    star
    2
  • Language
    C++
  • License
    Other
  • Created over 10 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
timfel/z3
github

timfel

Reviews

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

Repository Details

Fork of the z3 repository at codeplex

More Repositories

1

gitocello

Git O'Cello tries to bridge from Squeak+Monticello to GNU Smalltalk+Git
Smalltalk
31
star
2

moss.rb

A plagiarism detection engine based on Stanford's MOSS(Measure of Software Similarity)
Ruby
27
star
3

rubymirrors

A mirror API for Ruby
Ruby
22
star
4

csharp-hessian

Import from http://www.hessiancsharp.org
C#
18
star
5

cassowary-ruby

Ruby
13
star
6

krb5-auth

Mirror of the krb5-auth repository on RubyForge
C
13
star
7

plankalkul2ruby

Trying to create a PK to Ruby wrapper for university
Ruby
12
star
8

dosbox-svn

A clone of the DOSBox SVN repository
C++
11
star
9

qoppy

Implementation of the Quoppa language (http://mainisusuallyafunction.blogspot.de/2012/04/scheme-without-special-forms.html)
Python
7
star
10

JSON-st

The Gnu Smalltalk port of the Squeak JSON library
Smalltalk
7
star
11

trufflesqueak

Java
7
star
12

SCouchDB

Gnu Smalltalk port of SCouchDB
Smalltalk
7
star
13

morphicjs-pen

A demo of programming in Morphic.js with a pen
JavaScript
6
star
14

redcar-debug

Ruby
5
star
15

seasideOnRails

My scripts for developing with Gnu Smalltalk and Seaside. Loosely driven by the scripts-stuff found in Rails
Smalltalk
5
star
16

texmf

just my local texmf folder
Shell
4
star
17

ruby-hessian

SVN Clone of Hessian Ruby Gem Rubyforge Project
Ruby
4
star
18

ratpack

Smalltalk
4
star
19

lsp-netbeans

Netbeans-based language server for emacs-lsp
Emacs Lisp
4
star
20

redcar-minimap

Textmate minimap rip-off for Redcar
Ruby
3
star
21

simple_krb5

A simple authenticator using Kerberos 5 through JRuby's FFI
C
3
star
22

ftlk-stuff

Lots of random stuff i did in fltk. Some of it is copied from around the town.
C++
3
star
23

euphoria

I enhanced euphoria with some new features and stuff. It used to be Tilman Sauerbeck's project (code-monkey). It's written in ruby-efl
3
star
24

synaptics-multimedia-pad

This is an attempt to be able to use multimedia touchpads yet unsupported by the synaptics driver itself (e.g. Medion Laptops)
2
star
25

wpns

Windows Phone 7 Push Notification Service Library
Ruby
2
star
26

presentations

JavaScript
2
star
27

graalenv

Shell
2
star
28

redcar_syntax_check

2
star
29

monkey

C
2
star
30

sonyfsfn

This is a client/daemon app to allow me to use the Fn-Keys on my Sony Vaio Fs-Series Notebook.
2
star
31

cloudpaper

2
star
32

mod_auth_openid

Fork of https://svn.butterfat.net/public/mod_auth_openid
C++
2
star
33

turtle

The Turtle constraint-imperative language
C
2
star
34

presqueak

C
2
star
35

graalpy-jbang

Java
2
star
36

meet4xmas

Java
1
star
37

ptsvn

Ruby
1
star
38

org-mode

1
star
39

premplayer

A frontend for mplayer on the palm pre
C
1
star
40

redcar-time-machine

Ruby
1
star
41

redcar_syntax_check_ruby

Ruby
1
star
42

jruby-cext

C extension loader for JRuby
C
1
star
43

mail

Mail
Objective-C
1
star
44

zibra

My personal setting files.
Vim Script
1
star
45

metaserverNET

Ruby
1
star
46

rsqueakvm

1
star
47

redcar_strip_trailing_spaces

Strip Trailing Spaces plugin for Redcar
Ruby
1
star
48

njulogin

njulogin
JavaScript
1
star
49

twitter-prism.app

1
star
50

RSqueak-MacOSXBuild

Just the build repo for the Mac OS X builds
1
star
51

lang-smalltalk

Read-only mirror of
Python
1
star