Search: github.com/mojodna | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

redis-node-client - Redis client for Node.js (github.com/mojodna)

2 points

15 years ago

2.

Proxy to make OAuth endpoints queryable with a simple GET (github.com/mojodna)

1 point

14 years ago

3.

Show HN: Starlink constellation health – 108 reentry anomalies in TLE data (zenodo.org)

3 points

2 months ago

4.

Show HN: Atomic symlink deployments that work on macOS URL (github.com/mojoatomic)

2 points

5 months ago

5.

Formality, a (proof)gramming language featuring optimal reductions (github.com/moonad)

27 points

7 years ago

6.

Mojoaxel/awesome-regression-testing: visual regression testing (github.com/mojoaxel)

7 points

3 years ago

7.

MojoFastTrim: Experimental 'FASTQ' parser and quality trimmer written in mojo (github.com/MoSafi2)

3 points

2 years ago

8.

Formality Language (github.com/moonad)

3 points

6 years ago

9.

A pure and slim Golang SSH-Jumper-bastion-web app. One binary rules them all (github.com/mojocn)

3 points

7 years ago

10.

FormCoreJS: A 700-LOC proof language that compiles to ultra-fast JavaScript (github.com/moonad)

2 points

5 years ago

11.

Goodbye, JavaScript: Formality is now implemented in itself (github.com/moonad)

2 points

5 years ago

12.

A Next.js app, powered by OpenAI GPT, helps you make money (github.com/mojocn)

1 point

3 years ago

13.

Moodmatch, determine contents mood in Python (github.com/richardasaurus)

1 point

13 years ago

14.

Show HN: MacParakeet – Local voice dictation and transcription for Mac (GPL-3.0) (github.com/moona3k)

1 point

2 months ago

15.

FormCoreJS (github.com/moonad)

1 point

4 years ago

16.

Moonad: A Peer-to-Peer Operating System (github.com/moonad)

1 point

6 years ago

17.

Formality (github.com/moonad)

1 point

7 years ago

18.

Why Formality-Core? (github.com/moonad)

1 point

7 years ago

19.

Formality-Core: an optimal, parallel compile target for functional languages (github.com/moonad)

1 point

7 years ago

20.

Saving the world in 8 easy steps with Moonad (github.com/moonad)

1 point

7 years ago

21.

Show HN: Yuzudraw – visual editor for ASCII diagrams with token-efficient DSL (github.com/agavra)

1 point

3 months ago

22.

Show HN: WLM – A 70B model trained to decode "I'm fine" with 94.7% accuracy (github.com/gabewillen)

1 point

4 months ago

23.

Bypass Paywall Extension (github.com/iamadamdev)

3 points

7 years ago