Search: github.com/z3pp | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Zappa: Serverless Python via AWS Lambda

github.com/Miserlou

8 years ago

2 points

32.

Zip files as a service

github.com/sudhirj

9 years ago

2 points

33.

Show HN: A template for serverless web apps using Flask and Zappa

github.com/dtnewman

9 years ago

2 points

34.

Show HN: Boilerplate template for a serverless web app using Flask and Zappa

github.com/dtnewman

9 years ago

2 points

35.

Zeppelin: a library for writing secure smart contracts on Ethereum

github.com/OpenZeppelin

10 years ago

2 points

36.

Show HN: The Z3 theorem can now be built using CMake

github.com/Z3Prover

10 years ago

2 points

37.

.NET Standard Fast, Light, Flexible JSON Serializer

github.com/justinamiller

6 years ago

1 points

38.

Vue keep-alive cache can be managed intelligently

github.com/Zippowxk

4 years ago

1 points

39.

PAC Fundraising with Ethereum Contracts?

github.com/OpenZeppelin

9 years ago

1 points

40.

Change of Z3 license

github.com/Z3Prover

11 years ago

1 points

41.

Zappa: a lightweight JavaScript only template library

github.com/giann

12 years ago

1 points

42.

ZipPeek: Windows app to preview, download files from remote ZIP archives

github.com/MohamedAshref371

a year ago

1 points

43.

Example: Generate menu bar apps using Tauri and ZappJS

github.com/zappjs

2 years ago

1 points

44.

github.com/Z3Prover

5 years ago

1 points

45.

Personal Attempt for Fast JSON Serializer

github.com/justinamiller

7 years ago

1 points

46.

ZippyJSON: A much faster version of JSONDecoder

github.com/michaeleisel

7 years ago

1 points

47.

github.com/Z3Prover

8 years ago

1 points

48.

Zappa – Serverless Django on AWS Lambda

github.com/Miserlou

9 years ago

3 points

49.

Serverless Django on AWS Lambda

github.com/Miserlou

10 years ago

2 points

50.

All the assets you need to make a simple HTML site – coffee-zipped

github.com/vutondesign

9 years ago

2 points

51.

Show HN: A CLI for Bionifying EBooks for the Kindle

github.com/nimish-ks

2 years ago

1 points

52.

Miserlou/django-zappa: Serverless Django on AWS Lambda and API Gateway

github.com/Miserlou

10 years ago

1 points

53.

Show HN: Savior – Prevent silent form data loss in the browser

github.com/Pepp38

5 months ago

1 points

54.

Show HN: Zeppelin notebook to try out deeplearning4j

github.com/fnordian

8 years ago

3 points

55.

Show HN: PipZap – Zapping the mess out of the Python dependencies

github.com/kivicode

a year ago

5 points

56.

Show HN: Lisp and HTML to 70kb zipped MS Windows app

github.com/chr15m

8 years ago

3 points

57.

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

2 years ago

3 points

58.

Open source, simpler, and more flexible alternative to Zappier

github.com/dotenx

4 years ago

3 points

59.

Mercury – JavaScript notebook with NPM module (such as jupyter, apache zeppelin)

github.com/cloverhearts

6 years ago

3 points

60.

Red-black trees in Haskell, using GADTs and zippers (2012)

gist.github.com

3 years ago

2 points