Search: github.com/zitterbewegung | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Toward a new mathematical theory of computation.

17 years ago

5 points

2.

Reviving the BitC project

16 years ago

2 points

3.

Show HN: Logo I made for distributed ledger technology

8 years ago

1 points

4.

BitC is now slighly less than dead. Has anyone else tried to revive?

github.com/zitterbewegung

16 years ago

2 points

5.

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

gist.github.com

3 years ago

2 points

6.

Slice: A Clojure library for writing composable slices of html, css, and js

github.com/scottjad

15 years ago

35 points

7.

Template for creating compojure projects on google app engine

16 years ago

14 points

8.

Clojure like language for flash.

github.com/aemoncannon

16 years ago

6 points

9.

Autograd: Automatic differentiation of Python and numpy code

github.com/HIPS

7 years ago

4 points

10.

Coq to Lisp: Convert Coq to Scheme Extraction to Common Lisp / Emacs Lisp

github.com/leque

9 years ago

2 points

11.

Rosette is a solver-aided language for program synthesis and verification

github.com/emina

8 years ago

1 points