HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Show HN: The modern internet content experience simulator
github.com/tluyben
discuss
a year ago
tluyben2
2 points
2.
▲
First attempt at a minimal Forth in C#
gist.github.com
discuss
8 years ago
tluyben2
2 points
3.
▲
KamilaLisp – A functional, flexible and concise Lisp
github.com/kspalaiologos
54 comments
2 years ago
tluyben2
128 points
4.
▲
A toy implementation of Landin's ISWIM language. (2018)
github.com/diegospd
1 comment
3 years ago
tluyben2
7 points
5.
▲
Genetic programming experiment with Brainf***
github.com/primaryobjects
discuss
13 years ago
tluyben2
2 points
6.
▲
An experimental and minimal Datalog implementation that compiles down to LLVM
github.com/luc-tielen
discuss
4 years ago
tluyben2
2 points
7.
▲
Proving Ground: Tools for Automated Mathematics; HoTT
github.com/siddhartha-gadgil
discuss
4 years ago
tluyben2
2 points
8.
▲
Cogent: Code and Proof Co-Generation
github.com/NICTA
discuss
10 years ago
tluyben2
2 points
9.
▲
TLAi+ Benchmarks for Evaluating LLMs
github.com/tlaplus
discuss
3 months ago
alhazrod
2 points
10.
▲
Tinybench Release 3.0.0
github.com/tinylibs
discuss
2 years ago
fraggle_
2 points
11.
▲
Tinybench: A simple, tiny and lightweight benchmarking library
github.com/tinylibs
1 comment
3 years ago
asleMammad
1 points
12.
▲
VimDeck, use vim as presentation tool
github.com/tybenz
discuss
13 years ago
songzme
1 points
13.
▲
Show HN: Time tracker based on GPT-V
github.com/tleyden
discuss
2 years ago
tleyden5iwx
1 points
14.
▲
Show HN: Ahoy_analytics, live analytics gem for Rails app
github.com/darkamenosa
discuss
5 months ago
tuyenhx
1 points