Skip to content
Navigation menu
Search
Powered by Algolia
Search
Log in
Create account
DEV Community
Close
Open Source Adventures Series' Articles
Back to Tomasz Wegrzanowski's Series
Open Source Adventures: Episode 01: Crystal FFI and Z3
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Mar 1 '22
Open Source Adventures: Episode 01: Crystal FFI and Z3
#
programming
#
crystal
#
z3
#
ruby
14
reactions
Comments
Add Comment
6 min read
Open Source Adventures: Episode 02: Hiding Low Level Concerns for Crystal Z3
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Mar 1 '22
Open Source Adventures: Episode 02: Hiding Low Level Concerns for Crystal Z3
#
ruby
#
crystal
#
z3
13
reactions
Comments
3
comments
6 min read
Open Source Adventures: Episode 03: Object-Oriented Interface for Crystal Z3
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Mar 2 '22
Open Source Adventures: Episode 03: Object-Oriented Interface for Crystal Z3
#
ruby
#
crystal
#
z3
10
reactions
Comments
4
comments
6 min read
Open Source Adventures: Episode 04: Automated Type Conversion for Crystal Z3
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Mar 2 '22
Open Source Adventures: Episode 04: Automated Type Conversion for Crystal Z3
#
crystal
#
ruby
#
z3
8
reactions
Comments
2
comments
6 min read
Open Source Adventures: Episode 05: Sudoku Solver in Crystal Z3
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Mar 3 '22
Open Source Adventures: Episode 05: Sudoku Solver in Crystal Z3
#
crystal
#
ruby
#
z3
7
reactions
Comments
6
comments
6 min read
Open Source Adventures: Episode 06: How my crystal-z3 compares with bcardiff's crystal-z3
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Mar 3 '22
Open Source Adventures: Episode 06: How my crystal-z3 compares with bcardiff's crystal-z3
#
crystal
#
ruby
#
z3
7
reactions
Comments
5
comments
3 min read
Open Source Adventures: Episode 07: Specs For Crystal Z3
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Mar 4 '22
Open Source Adventures: Episode 07: Specs For Crystal Z3
#
crystal
#
ruby
#
z3
6
reactions
Comments
Add Comment
5 min read
Open Source Adventures: Episode 08: Extending Crystal Z3 for Booleans
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Mar 5 '22
Open Source Adventures: Episode 08: Extending Crystal Z3 for Booleans
#
crystal
#
ruby
#
z3
5
reactions
Comments
Add Comment
6 min read
Open Source Adventures: Episode 09: Data Extraction Support for Crystal Z3
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Mar 5 '22
Open Source Adventures: Episode 09: Data Extraction Support for Crystal Z3
#
crystal
#
ruby
#
z3
9
reactions
Comments
3
comments
3 min read
Open Source Adventures: Episode 10: Real Numbers supports for Crystal Z3
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Mar 6 '22
Open Source Adventures: Episode 10: Real Numbers supports for Crystal Z3
#
ruby
#
crystal
#
z3
8
reactions
Comments
Add Comment
3 min read
Open Source Adventures: Episode 11: Bit Vectors support for Crystal Z3
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Mar 7 '22
Open Source Adventures: Episode 11: Bit Vectors support for Crystal Z3
#
ruby
#
crystal
#
z3
8
reactions
Comments
Add Comment
9 min read
Open Source Adventures: Episode 12: Crystal Shard for Z3
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Mar 7 '22
Open Source Adventures: Episode 12: Crystal Shard for Z3
#
crystal
#
ruby
#
z3
9
reactions
Comments
Add Comment
1 min read
Open Source Adventures: Episode 13: What if Wordle was Evil
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Mar 8 '22
Open Source Adventures: Episode 13: What if Wordle was Evil
#
wordle
#
games
11
reactions
Comments
2
comments
3 min read
Open Source Adventures: Episode 14: Timecalc
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Mar 11 '22
Open Source Adventures: Episode 14: Timecalc
#
ruby
4
reactions
Comments
Add Comment
3 min read
Open Source Adventures: Episode 15: Magic: the Gathering Banlist DSL
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Mar 11 '22
Open Source Adventures: Episode 15: Magic: the Gathering Banlist DSL
#
ruby
5
reactions
Comments
Add Comment
5 min read
Open Source Adventures: Episode 16: Git Content Hash
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Mar 11 '22
Open Source Adventures: Episode 16: Git Content Hash
#
ruby
#
git
6
reactions
Comments
Add Comment
3 min read
Open Source Adventures: Episode 17: Universal Command Line Unpacker unall
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Mar 16 '22
Open Source Adventures: Episode 17: Universal Command Line Unpacker unall
#
ruby
6
reactions
Comments
3
comments
5 min read
Open Source Adventures: Episode 18: Imba 2
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Mar 20 '22
Open Source Adventures: Episode 18: Imba 2
#
imba
#
javascript
4
reactions
Comments
2
comments
4 min read
Open Source Adventures: Episode 19: Porting Imba 1 Apps to Imba 2
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Mar 23 '22
Open Source Adventures: Episode 19: Porting Imba 1 Apps to Imba 2
#
imba
#
javascript
5
reactions
Comments
Add Comment
5 min read
Open Source Adventures: Episode 20: Imba 2 ROT-N
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Mar 23 '22
Open Source Adventures: Episode 20: Imba 2 ROT-N
#
imba
#
javascript
5
reactions
Comments
Add Comment
3 min read
Open Source Adventures: Episode 21: Imba 2 Matrix Rain
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Mar 24 '22
Open Source Adventures: Episode 21: Imba 2 Matrix Rain
#
imba
#
javascript
7
reactions
Comments
Add Comment
3 min read
Open Source Adventures: Episode 22: Imba 2 and GitHub Pages
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Mar 24 '22
Open Source Adventures: Episode 22: Imba 2 and GitHub Pages
#
imba
#
javascript
5
reactions
Comments
Add Comment
2 min read
Open Source Adventures: Episode 23: Imba 2 JSON Beautifier
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Mar 25 '22
Open Source Adventures: Episode 23: Imba 2 JSON Beautifier
#
javascript
#
imba
6
reactions
Comments
Add Comment
3 min read
Open Source Adventures: Episode 24: Imba 2 and Cypress
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Mar 25 '22
Open Source Adventures: Episode 24: Imba 2 and Cypress
#
imba
#
javascript
#
cypress
6
reactions
Comments
Add Comment
2 min read
Open Source Adventures: Episode 25: Imba 2 Game of Life
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Mar 25 '22
Open Source Adventures: Episode 25: Imba 2 Game of Life
#
javascript
#
imba
6
reactions
Comments
Add Comment
3 min read
Open Source Adventures: Episode 26: Imba 2 Stack Overflow
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Mar 30 '22
Open Source Adventures: Episode 26: Imba 2 Stack Overflow
#
javascript
#
imba
6
reactions
Comments
Add Comment
3 min read
Open Source Adventures: Episode 27: Imba 2 Overall Impressions
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Mar 30 '22
Open Source Adventures: Episode 27: Imba 2 Overall Impressions
#
javascript
#
imba
6
reactions
Comments
Add Comment
5 min read
Open Source Adventures: Episode 28: Introduction to D3
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Apr 3 '22
Open Source Adventures: Episode 28: Introduction to D3
#
javascript
#
d3
7
reactions
Comments
2
comments
2 min read
Open Source Adventures: Episode 29: Using D3 with old school tooling to visualize Russian Tank Losses
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Apr 5 '22
Open Source Adventures: Episode 29: Using D3 with old school tooling to visualize Russian Tank Losses
#
javascript
#
d3
6
reactions
Comments
Add Comment
4 min read
Open Source Adventures: Episode 30: Using D3 and Parcel to visualize Russian Tank Losses
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Tomasz Wegrzanowski
Follow
Apr 5 '22
Open Source Adventures: Episode 30: Using D3 and Parcel to visualize Russian Tank Losses
#
javascript
#
d3
3
reactions
Comments
Add Comment
3 min read
1
2
3
Next ›
Last »
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create account