sunshowers/z3.rkt

This repository has been archived on 25/Feb/2021
Stars
19
Rank 1,139,878 (Top 23 %)
Language
Racket
License
BSD 2-Clause "Sim...
Created over 12 years ago
Updated almost 12 years ago

sunshowers/z3.rkt

sunshowers

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

Racket bindings for Z3

firewall-auth

IITK firewall auth

jsdict

Dictionaries using ECMAScript proxies

targo

Wraps cargo to move target directories to a central location [super experimental]

overlay-extension

Windows taskbar icon overlay extension. Code under the Mozilla tri-license (MPL/GPL/LGPL).

numbermind

A Numbermind web app written in Racket using z3.rkt

iconrefresher

Python script to refresh icons on Windows

process2

Unix processes done right.

tb-about-support

Thunderbird about:support

cargo-search2

cargo search, built for caching binary artifacts, optimized for GitHub Actions

playing-with-processing

non-master-branch

A test repo without a master branch.

dph-experiments

Experiments with data-parallel Haskell

shelltester

self-update-example

Working example for Rust self-update system

sublime-text-settings

dotfiles

Dotfiles for my private use. Always a WIP.

logic-min

Experiments with logic minimization

masters-thesis

My masters' thesis at IIT Kanpur

.emacs