Search: github.com/moonad | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Formality, a (proof)gramming language featuring optimal reductions

github.com/moonad

7 years ago

27 points

2.

Formality Language

github.com/moonad

6 years ago

3 points

3.

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

github.com/moonad

5 years ago

2 points

4.

Goodbye, JavaScript: Formality is now implemented in itself

github.com/moonad

6 years ago

2 points

5.

github.com/moonad

4 years ago

1 points

6.

Moonad: A Peer-to-Peer Operating System

github.com/moonad

6 years ago

1 points

7.

github.com/moonad

7 years ago

1 points

8.

Why Formality-Core?

github.com/moonad

7 years ago

1 points

9.

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

github.com/moonad

7 years ago

1 points

10.

Saving the world in 8 easy steps with Moonad

github.com/moonad

7 years ago

1 points

11.

Simple GIS on Potato

github.com/blue-monads

5 months ago

23 points

12.

Show HN: A realtime node-based audio synth based on LLVM

github.com/monadgroup

8 years ago

78 points

13.

Show HN: A fine-tuned Stable Diffusion model for generating Minecraft skins

github.com/Monadical-SAS

3 years ago

17 points

14.

Show HN: Moondream, a small vision language model that runs on 8GB of RAM

github.com/vikhyat

2 years ago

9 points

15.

Show HN: Potatoverse, Platform for Apps

github.com/blue-monads

5 months ago

7 points

16.

Show HN: Monads for Deno

github.com/hqoss

6 years ago

slavomirvojacek

7 points

17.

Show HN: Potatoverse, home for your vibecoded apps

github.com/blue-monads

4 months ago

6 points

18.

Show HN: Potatoverse platform for webapps, SQLite and static binary

github.com/blue-monads

4 months ago

6 points

19.

Show HN: Potatoverse platform for apps in single binary, SQLite db

github.com/blue-monads

4 months ago

6 points

20.

Moondream – a tiny vision language model that runs anywhere

github.com/vikhyat

10 months ago

6 points

21.

Show HN: Gtk3-docker – Run native gtk3+ apps inside a container via the browser

github.com/moondev

9 years ago

6 points

22.

Potatoverse, Platform for Apps

github.com/blue-monads

5 months ago

5 points

23.

Automate zero-shot detection of all objects in an image with Moondream3

github.com/conwayanderson

9 months ago

5 points

24.

Monads in OCaml

github.com/eatonphil

11 years ago

5 points

25.

Monadjs: Monad Library for JavaScript

github.com/santoshrajan

13 years ago

5 points

26.

Show HN: Potatoverse platform for webapps, SQLite and static binary

github.com/blue-monads

4 months ago

5 points

27.

Show HN: Potatoverse platform for webapps, SQLite and static binary

github.com/blue-monads

4 months ago

5 points

28.

Type Safe Option and Result Type for TypeScript and JavaScript; Inspired by Rust

github.com/Threestup

9 years ago

slavomirvojacek

4 points

29.

[Show HN] Realistic WebGL Moon w/ map generated using Clementine spacecraft data

github.com/CoryG89

13 years ago

3 points

30.

Show HN: Network-filter – domains-based whitelist for Docker containers

github.com/Monadical-SAS

10 months ago

3 points