• Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Crystal
  • License
    MIT License
  • Created over 2 years ago
  • Updated over 2 years ago

Reviews

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

Repository Details

Z3 library for Crystal

More Repositories

1

unix-utilities

Various small Unix utilities for ~/bin
Ruby
67
star
2

z3

Ruby bindings for Z3 constraint solver library
Ruby
55
star
3

paradox-tools

Utilities for formats found in various Paradox games (Europa Universalis, Crusader Kings etc.)
Ruby
43
star
4

magic-search-engine

Search engine for Magic cards
Haml
39
star
5

etwng

Next Generation Modding Tools for Empire Total War (and other Total War games)
Ruby
31
star
6

electron-adventures

Electron Adventures
JavaScript
26
star
7

opal-d3

Opal wrapper library for D3 library
Ruby
21
star
8

100-languages-speedrun

Code for "100 Languages Speedrun" blog post series
HTML
19
star
9

rlisp

RLisp is a Lisp dialect naturally embedded in Ruby
Ruby
18
star
10

imba-boilerplate

Boilerplate code for imba and sass
JavaScript
18
star
11

hoi4

HoI4 webapps
JavaScript
15
star
12

magic-sealed-data

This repository contains machine readable Magic: the Gathering for Sealed booster generation
15
star
13

jrpg

Kanji learning game styled after the classic SNES RPG games
Python
14
star
14

tampermonkey-exercises

Tampermonkey exercises
JavaScript
9
star
15

imba-examples

Index page for my Imba example apps
8
star
16

konwert

Charset conversion program
Shell
8
star
17

imba-game-of-life

Game of Life in Imba
Imba
7
star
18

imba-2048

2048 Game in Imba
Imba
7
star
19

osx-keyboard-layouts

Additional keyboard layouts for OSX
7
star
20

puzzle-solvers

Using constraint solvers to do puzzles
Python
6
star
21

open-source-adventures

Open Source Adventures blog series
JavaScript
6
star
22

magic-preconstructed-decks

Magic: the Gathering Preconstructed Decks
Ruby
5
star
23

pathname-glob

Pathname#glob method for ruby
Ruby
5
star
24

imba-electron-hello-world

Hello World with Electron and Imba
JavaScript
5
star
25

amethyst

Amethyst provides Ruby-like syntax for Perl
Perl
4
star
26

phaser-opal-minigames

Phaser Opal Minigames
JavaScript
4
star
27

ipod-lastfm-bridge

Command line program which extracts statistics from iPods and sends them to last.fm
Ruby
4
star
28

imba-fifteen

Fifteen Puzzle in Imba
Imba
4
star
29

imba-snake

Imda snake game
Imba
3
star
30

imba-weather

Weather App in Imba
Imba
3
star
31

magic-xml

The best Ruby library for handling XML
Ruby
3
star
32

banana-bot

Facebook Messenger Banana Bot
Ruby
3
star
33

ttl-cpu

TTL CPU Project
Verilog
3
star
34

concentrated-vanilla

Concentrated Vanilla mod for Medieval 2 Total War
Ruby
3
star
35

hash-zip

Hash#zip method for ruby
Ruby
3
star
36

imba-matrix-rain

Matrix Rain in Imba
Imba
3
star
37

imba-eyes

Eyes in Imba
Imba
3
star
38

hash-polyfill

Hash#transform_values from 2.4 and well as Hash convenience methods from the future
Ruby
2
star
39

imba-minesweeper

Minesweeper Game in Imba
Imba
2
star
40

imba-geography-quiz

Geography Quiz in Imba
Imba
2
star
41

imba-emoji-memory

Emoji Memory game in Imba
Imba
2
star
42

crystal-lucky-url-shortener

Crystal Lucky URL shortener
Crystal
2
star
43

magic-help

Magical help method for easy access to Ruby documentation
Ruby
2
star
44

imba-unicodizer

Text goes in. Fancy Unicode goes out. Enjoy.
Imba
2
star
45

7-languages-in-7-weeks

My solutions to exercises from "7 Languages in 7 Weeks" book
Scala
2
star
46

skype-exporter

Export your data from Skype (logs, contact lists etc.)
Ruby
2
star
47

assert-equal-with-highlighting

Meaningful highlighting of failed tests for test/unit
Ruby
2
star
48

imba-todo-list

Imba todo list
Imba
2
star
49

imba-regexp-explorer

Imba RegExp Explorer
Imba
2
star
50

hacker

Some code for hacker.org challenges
Java
2
star
51

imdb

Tools for imdb database
Ruby
2
star
52

imba2-eyes

Imba 2 eyes demo
Imba
2
star
53

imba-ant

Langton's Ant Simulator
Imba
1
star
54

imba-quote-machine

Quote Machine in Imba
Imba
1
star
55

dialogflow-weather-agent

Hello World dialogflow weather agent
JavaScript
1
star
56

svelte-font-swiper

Svelte Font Swiper
JavaScript
1
star
57

imba-political-quiz

World's Smallest Political Quiz. Imba version.
Imba
1
star
58

jsme

Joystick Mouse Emulation
C
1
star
59

stringify-any

Stringify anything
JavaScript
1
star
60

sectalks-september-2017

SecTalks September 2017 - code used to generate challenges
Ruby
1
star
61

imba-calculator

Imba Calculator
Imba
1
star
62

imba-spec

Testing framework for Imba
1
star
63

total-war-ui-analysis

Total War UI analysis
Ruby
1
star
64

git-pixel-art

Create pixel art for your github home page
Ruby
1
star
65

imba-drag-and-drop

Imba Drag and Drop demo
Imba
1
star
66

imba-json-beautifier

JSON Beautifier with Imba and Cypress tests
JavaScript
1
star
67

tst2pnm

Converts RPGToolkit's TST format to PPM
Perl
1
star
68

magic-preconstructed-decks-data

Magic: the Gathering Preconstructed Decks - exported data
1
star
69

svelte-cat-piano

Svelte Cat Piano
Svelte
1
star
70

imba2-matrix-rain

Imba 2 matrix rain
HTML
1
star
71

phaser-minigames

Minigames built with coffeescript and phaser.io
JavaScript
1
star
72

lrun-sudoku-solver-workshop

Code from London Ruby Unconference 2017 Sudoku Solver Workshop
Ruby
1
star
73

sublime-paradox

Sublime Text plugin for Paradox games
1
star
74

libgmp-ruby

Ruby bindings to the GNU Multiple Precision Arithmetic Library
C
1
star
75

rspec-half_full

There are no failed specs, only specs with unexpected outcomes
Ruby
1
star
76

imba-tier-list-maker

Tier List Maker
Imba
1
star
77

ruby-object-notation

Ruby Object Notation
Ruby
1
star
78

typing-game

Typing Game
JavaScript
1
star
79

stone-age-simulator

Some random simulations for stone age game idea
Ruby
1
star
80

magic-database

Database of Magic: the Gathering cards and tools to manage it.
Ruby
1
star
81

finder-sort

Sort file names in order meaningful for humans (inspired by OSX Finder)
JavaScript
1
star
82

factorio-tools

Tools for modding factorio is an automated manner
Ruby
1
star