DEV Community

Open Source Adventures Series' Articles

Back to Tomasz Wegrzanowski's Series
Open Source Adventures: Episode 01: Crystal FFI and Z3

Open Source Adventures: Episode 01: Crystal FFI and Z3

14
Comments
6 min read
Open Source Adventures: Episode 02: Hiding Low Level Concerns for Crystal Z3

Open Source Adventures: Episode 02: Hiding Low Level Concerns for Crystal Z3

13
Comments 3
6 min read
Open Source Adventures: Episode 03: Object-Oriented Interface for Crystal Z3

Open Source Adventures: Episode 03: Object-Oriented Interface for Crystal Z3

10
Comments 4
6 min read
Open Source Adventures: Episode 04: Automated Type Conversion for Crystal Z3

Open Source Adventures: Episode 04: Automated Type Conversion for Crystal Z3

8
Comments 2
6 min read
Open Source Adventures: Episode 05: Sudoku Solver in Crystal Z3

Open Source Adventures: Episode 05: Sudoku Solver in Crystal Z3

7
Comments 6
6 min read
Open Source Adventures: Episode 06: How my crystal-z3 compares with bcardiff's crystal-z3

Open Source Adventures: Episode 06: How my crystal-z3 compares with bcardiff's crystal-z3

7
Comments 5
3 min read
Open Source Adventures: Episode 07: Specs For Crystal Z3

Open Source Adventures: Episode 07: Specs For Crystal Z3

6
Comments
5 min read
Open Source Adventures: Episode 08: Extending Crystal Z3 for Booleans

Open Source Adventures: Episode 08: Extending Crystal Z3 for Booleans

5
Comments
6 min read
Open Source Adventures: Episode 09: Data Extraction Support for Crystal Z3

Open Source Adventures: Episode 09: Data Extraction Support for Crystal Z3

9
Comments 3
3 min read
Open Source Adventures: Episode 10: Real Numbers supports for Crystal Z3

Open Source Adventures: Episode 10: Real Numbers supports for Crystal Z3

8
Comments
3 min read
Open Source Adventures: Episode 11: Bit Vectors support for Crystal Z3

Open Source Adventures: Episode 11: Bit Vectors support for Crystal Z3

8
Comments
9 min read
Open Source Adventures: Episode 12: Crystal Shard for Z3

Open Source Adventures: Episode 12: Crystal Shard for Z3

9
Comments
1 min read
Open Source Adventures: Episode 13: What if Wordle was Evil

Open Source Adventures: Episode 13: What if Wordle was Evil

11
Comments 2
3 min read
Open Source Adventures: Episode 14: Timecalc

Open Source Adventures: Episode 14: Timecalc

4
Comments
3 min read
Open Source Adventures: Episode 15: Magic: the Gathering Banlist DSL

Open Source Adventures: Episode 15: Magic: the Gathering Banlist DSL

5
Comments
5 min read
Open Source Adventures: Episode 16: Git Content Hash

Open Source Adventures: Episode 16: Git Content Hash

6
Comments
3 min read
Open Source Adventures: Episode 17: Universal Command Line Unpacker unall

Open Source Adventures: Episode 17: Universal Command Line Unpacker unall

6
Comments 3
5 min read
Open Source Adventures: Episode 18: Imba 2

Open Source Adventures: Episode 18: Imba 2

4
Comments 2
4 min read
Open Source Adventures: Episode 19: Porting Imba 1 Apps to Imba 2

Open Source Adventures: Episode 19: Porting Imba 1 Apps to Imba 2

5
Comments
5 min read
Open Source Adventures: Episode 20: Imba 2 ROT-N

Open Source Adventures: Episode 20: Imba 2 ROT-N

5
Comments
3 min read
Open Source Adventures: Episode 21: Imba 2 Matrix Rain

Open Source Adventures: Episode 21: Imba 2 Matrix Rain

7
Comments
3 min read
Open Source Adventures: Episode 22: Imba 2 and GitHub Pages

Open Source Adventures: Episode 22: Imba 2 and GitHub Pages

5
Comments
2 min read
Open Source Adventures: Episode 23: Imba 2 JSON Beautifier

Open Source Adventures: Episode 23: Imba 2 JSON Beautifier

6
Comments
3 min read
Open Source Adventures: Episode 24: Imba 2 and Cypress

Open Source Adventures: Episode 24: Imba 2 and Cypress

6
Comments
2 min read
Open Source Adventures: Episode 25: Imba 2 Game of Life

Open Source Adventures: Episode 25: Imba 2 Game of Life

6
Comments
3 min read
Open Source Adventures: Episode 26: Imba 2 Stack Overflow

Open Source Adventures: Episode 26: Imba 2 Stack Overflow

6
Comments
3 min read
Open Source Adventures: Episode 27: Imba 2 Overall Impressions

Open Source Adventures: Episode 27: Imba 2 Overall Impressions

6
Comments
5 min read
Open Source Adventures: Episode 28: Introduction to D3

Open Source Adventures: Episode 28: Introduction to D3

7
Comments 2
2 min read
Open Source Adventures: Episode 29: Using D3 with old school tooling to visualize Russian Tank Losses

Open Source Adventures: Episode 29: Using D3 with old school tooling to visualize Russian Tank Losses

6
Comments
4 min read
Open Source Adventures: Episode 30: Using D3 and Parcel to visualize Russian Tank Losses

Open Source Adventures: Episode 30: Using D3 and Parcel to visualize Russian Tank Losses

3
Comments
3 min read