Search: github.com/roehst | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: Distributed SAT solver in Elixir

10 years ago

7 points

2.

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

10 years ago

2 points

3.

Full Dependency Injection in Elixir using closures

gist.github.com

5 years ago

4 points

4.

Implementations from Benjamin Pierce's “Types and Programming Languages” Book

github.com/roehst

7 years ago

4 points

5.

Fixed Points in Natural Language Translation

github.com/roehst

6 years ago

3 points

6.

Show HN: Dead simple to-do list in Bash

gist.github.com

10 years ago

2 points

7.

Writing web apps with remote code execution for fun

github.com/roehst

2 years ago

1 points

8.

The Universal Server

gist.github.com

2 years ago

1 points

9.

A very simple example of verification in Idris

gist.github.com

8 years ago

1 points