sunshowers/numbermind sunshowers/numbermind

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Racket
  • License
    Other
  • Created over 12 years ago
  • Updated over 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sunshowers/numbermind
github

sunshowers

Reviews

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

Repository Details

A Numbermind web app written in Racket using z3.rkt

More Repositories

1

firewall-auth

IITK firewall auth
Python
21
star
2

z3.rkt

Racket bindings for Z3
Racket
19
star
3

jsdict

Dictionaries using ECMAScript proxies
JavaScript
18
star
4

targo

Wraps cargo to move target directories to a central location [super experimental]
Rust
18
star
5

overlay-extension

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

iconrefresher

Python script to refresh icons on Windows
Python
3
star
7

process2

Unix processes done right.
2
star
8

tb-about-support

Thunderbird about:support
JavaScript
2
star
9

cargo-search2

cargo search, built for caching binary artifacts, optimized for GitHub Actions
Rust
2
star
10

playing-with-processing

1
star
11

non-master-branch

A test repo without a master branch.
1
star
12

dph-experiments

Experiments with data-parallel Haskell
Haskell
1
star
13

shelltester

C++
1
star
14

self-update-example

Working example for Rust self-update system
Rust
1
star
15

sublime-text-settings

1
star
16

dotfiles

Dotfiles for my private use. Always a WIP.
Shell
1
star
17

logic-min

Experiments with logic minimization
Rust
1
star
18

masters-thesis

My masters' thesis at IIT Kanpur
1
star
19

.emacs

.emacs
Emacs Lisp
1
star