Search: github.com/mojodna | Heykuki News

HK

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

15 years ago

2 points

2.

Proxy to make OAuth endpoints queryable with a simple GET

github.com/mojodna

15 years ago

1 points

3.

Formality, a (proof)gramming language featuring optimal reductions

github.com/moonad

7 years ago

27 points

4.

Mojoaxel/awesome-regression-testing: visual regression testing

github.com/mojoaxel

3 years ago

7 points

5.

MojoFastTrim: Experimental 'FASTQ' parser and quality trimmer written in mojo

github.com/MoSafi2

2 years ago

3 points

6.

Formality Language

github.com/moonad

6 years ago

3 points

7.

A pure and slim Golang SSH-Jumper-bastion-web app. One binary rules them all

github.com/mojocn

7 years ago

3 points

8.

FormCoreJS: A 700-LOC proof language that compiles to ultra-fast JavaScript

github.com/moonad

5 years ago

2 points

9.

A Next.js app, powered by OpenAI GPT, helps you make money

github.com/mojocn

3 years ago

1 points

10.

Moodmatch, determine contents mood in Python

github.com/richardasaurus

13 years ago

1 points

11.

github.com/moonad

4 years ago

1 points

12.

Moonad: A Peer-to-Peer Operating System

github.com/moonad

6 years ago

1 points

13.

Why Formality-Core?

github.com/moonad

7 years ago

1 points

14.

Formality-Core: an optimal, parallel compile target for functional languages

github.com/moonad

7 years ago

1 points

15.

Show HN: WLM – A 70B model trained to decode "I'm fine" with 94.7% accuracy

github.com/gabewillen

5 months ago

1 points

16.

Bypass Paywall Extension

github.com/iamadamdev

7 years ago

3 points