Search: github.com/z3pp | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Zappa: Serverless Python via AWS Lambda (github.com/Miserlou)

2 points

8 years ago

32.

Zip files as a service (github.com/sudhirj)

2 points

9 years ago

33.

Show HN: A template for serverless web apps using Flask and Zappa (github.com/dtnewman)

2 points

9 years ago

34.

Show HN: Boilerplate template for a serverless web app using Flask and Zappa (github.com/dtnewman)

2 points

9 years ago

35.

Zeppelin: a library for writing secure smart contracts on Ethereum (github.com/OpenZeppelin)

2 points

10 years ago

36.

Show HN: The Z3 theorem can now be built using CMake (github.com/Z3Prover)

2 points

10 years ago

37.

.NET Standard Fast, Light, Flexible JSON Serializer (github.com/justinamiller)

1 point

6 years ago

38.

Vue keep-alive cache can be managed intelligently (github.com/Zippowxk)

1 point

4 years ago

39.

PAC Fundraising with Ethereum Contracts? (github.com/OpenZeppelin)

1 point

9 years ago

40.

Change of Z3 license (github.com/Z3Prover)

1 point

11 years ago

41.

Zappa: a lightweight JavaScript only template library (github.com/giann)

1 point

12 years ago

42.

ZipPeek: Windows app to preview, download files from remote ZIP archives (github.com/MohamedAshref371)

1 point

a year ago

43.

Example: Generate menu bar apps using Tauri and ZappJS (github.com/zappjs)

1 point

2 years ago

44.

Z3 (github.com/Z3Prover)

1 point

5 years ago

45.

Personal Attempt for Fast JSON Serializer (github.com/justinamiller)

1 point

7 years ago

46.

ZippyJSON: A much faster version of JSONDecoder (github.com/michaeleisel)

1 point

7 years ago

47.

Z3 (github.com/Z3Prover)

1 point

8 years ago

48.

Zappa – Serverless Django on AWS Lambda (github.com/Miserlou)

3 points

9 years ago

49.

Serverless Django on AWS Lambda (github.com/Miserlou)

2 points

10 years ago

50.

All the assets you need to make a simple HTML site – coffee-zipped (github.com/vutondesign)

2 points

8 years ago

51.

Show HN: A CLI for Bionifying EBooks for the Kindle (github.com/nimish-ks)

1 point

2 years ago

52.

Miserlou/django-zappa: Serverless Django on AWS Lambda and API Gateway (github.com/Miserlou)

1 point

10 years ago

53.

Show HN: Savior – Prevent silent form data loss in the browser (github.com/Pepp38)

1 point

4 months ago

54.

Show HN: Zeppelin notebook to try out deeplearning4j (github.com/fnordian)

3 points

8 years ago

55.

Show HN: PipZap – Zapping the mess out of the Python dependencies (github.com/kivicode)

5 points

a year ago

56.

Show HN: Lisp and HTML to 70kb zipped MS Windows app (github.com/chr15m)

3 points

8 years ago

57.

A simple app to customize Discord Rich Presence, only ~0.5mb (zipped)

3 points

2 years ago

58.

Open source, simpler, and more flexible alternative to Zappier (github.com/dotenx)

3 points

4 years ago

59.

Mercury – JavaScript notebook with NPM module (such as jupyter, apache zeppelin) (github.com/cloverhearts)

3 points

6 years ago

60.

Red-black trees in Haskell, using GADTs and zippers (2012) (gist.github.com)

2 points

3 years ago