Search: github.com/roehst | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: Distributed SAT solver in Elixir

7 points

10 years ago

2.

Show HN: Parallel and/or with short-circuit in Elixir

2 points

10 years ago

3.

Full Dependency Injection in Elixir using closures (gist.github.com)

4 points

5 years ago

4.

Implementations from Benjamin Pierce's “Types and Programming Languages” Book (github.com/roehst)

4 points

7 years ago

5.

Fixed Points in Natural Language Translation (github.com/roehst)

3 points

6 years ago

6.

Show HN: Dead simple to-do list in Bash (gist.github.com)

2 points

10 years ago

7.

Writing web apps with remote code execution for fun (github.com/roehst)

1 point

2 years ago

8.

The Universal Server (gist.github.com)

1 point

2 years ago

9.

A very simple example of verification in Idris (gist.github.com)

1 point

8 years ago