Search: github.com/tluyben | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: The modern internet content experience simulator (github.com/tluyben)

2 points

a year ago

2.

First attempt at a minimal Forth in C# (gist.github.com)

2 points

8 years ago

3.

KamilaLisp – A functional, flexible and concise Lisp (github.com/kspalaiologos)

128 points

2 years ago

4.

A toy implementation of Landin's ISWIM language. (2018) (github.com/diegospd)

7 points

3 years ago

5.

Genetic programming experiment with Brainf*** (github.com/primaryobjects)

2 points

13 years ago

6.

An experimental and minimal Datalog implementation that compiles down to LLVM (github.com/luc-tielen)

2 points

4 years ago

7.

Proving Ground: Tools for Automated Mathematics; HoTT (github.com/siddhartha-gadgil)

2 points

4 years ago

8.

Cogent: Code and Proof Co-Generation (github.com/NICTA)

2 points

10 years ago

9.

Show HN: MCP Server for secure code execution (Python, Ruby, C, and more) (github.com/taybenlor)

7 points

a year ago

10.

TLAi+ Benchmarks for Evaluating LLMs (github.com/tlaplus)

2 points

3 months ago

11.

Tinybench Release 3.0.0 (github.com/tinylibs)

2 points

2 years ago

12.

Tinybench: A simple, tiny and lightweight benchmarking library (github.com/tinylibs)

1 point

3 years ago

13.

VimDeck, use vim as presentation tool (github.com/tybenz)

1 point

13 years ago

14.

Show HN: Time tracker based on GPT-V (github.com/tleyden)

1 point

2 years ago

15.

Show HN: Ahoy_analytics, live analytics gem for Rails app (github.com/darkamenosa)

1 point

4 months ago