DEV Community

The Crystal Programming language

This tag is for anything related to the Crystal programming language, its ecosystem, and related tooling. Development, usage, apps, shards, tips, and requests for help.

Posts

👋 Sign in for the ability to sort posts by relevant, latest, or top.
Create shared library symbolic links when crystal interpreter does not work in crystal 1.4.0

Create shared library symbolic links when crystal interpreter does not work in crystal 1.4.0

5
Comments
1 min read
Create Github Pages in the mint language

Create Github Pages in the mint language

7
Comments 1
1 min read
Crystal 1.4 Enumerable#tally now accepts an optional hash to count occurrences

Crystal 1.4 Enumerable#tally now accepts an optional hash to count occurrences

8
Comments
2 min read
Crystal View Context

Crystal View Context

8
Comments
1 min read
if !obj.nil?

if !obj.nil?

8
Comments
5 min read
I built my Crystal language tool with Github Actions and added the deb created by checkinstall to the release page...

I built my Crystal language tool with Github Actions and added the deb created by checkinstall to the release page...

6
Comments
3 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 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 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 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 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 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 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 07: Specs For Crystal Z3

Open Source Adventures: Episode 07: Specs For Crystal Z3

6
Comments
5 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 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
Why I love Ruby: the secret algorithms

Why I love Ruby: the secret algorithms

21
Comments 1
6 min read
Open Source Adventures: Episode 01: Crystal FFI and Z3

Open Source Adventures: Episode 01: Crystal FFI and Z3

14
Comments
6 min read
Why I love Ruby: powerful calls

Why I love Ruby: powerful calls

44
Comments 4
6 min read
Why I love Ruby: blocks

Why I love Ruby: blocks

22
Comments 1
5 min read
Why I love Ruby: a great standard library

Why I love Ruby: a great standard library

25
Comments 5
4 min read
Why I love Ruby: equality

Why I love Ruby: equality

54
Comments 11
3 min read
Why I love Ruby: almost everything is a call

Why I love Ruby: almost everything is a call

24
Comments 4
4 min read
Why I love Ruby: string representation

Why I love Ruby: string representation

23
Comments
5 min read
loading...