Search: github.com/zitterbewegung | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Toward a new mathematical theory of computation.

5 points

17 years ago

2.

Reviving the BitC project

2 points

16 years ago

3.

Show HN: Logo I made for distributed ledger technology

1 point

8 years ago

4.

BitC is now slighly less than dead. Has anyone else tried to revive? (github.com/zitterbewegung)

2 points

16 years ago

5.

Llama.cpp can run on Macs that have 64G of RAM (40GB of Free memory) (gist.github.com)

2 points

3 years ago

6.

Slice: A Clojure library for writing composable slices of html, css, and js (github.com/scottjad)

35 points

15 years ago

7.

Template for creating compojure projects on google app engine (github.com/baz)

14 points

16 years ago

8.

Clojure like language for flash. (github.com/aemoncannon)

6 points

16 years ago

9.

Autograd: Automatic differentiation of Python and numpy code (github.com/HIPS)

4 points

7 years ago

10.

Coq to Lisp: Convert Coq to Scheme Extraction to Common Lisp / Emacs Lisp (github.com/leque)

2 points

9 years ago

11.

Rosette is a solver-aided language for program synthesis and verification (github.com/emina)

1 point

8 years ago