Search: github.com/d2fn | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Shades: In-memory OLAP cubing, histograms, and more

github.com/d2fn

13 years ago

35 points

2.

Gopack: dependency management for go

github.com/d2fn

13 years ago

4 points

3.

Show HN: ClawShield – Open-source firewall for agent-to-agent AI communication

4 months ago

2 points

4.

Show HN: ClawShield – Open-source firewall for agent-to-agent AI communication

github.com/DEFNOISE-AI

4 months ago

1 points

5.

Dafny – A programming language with a program verifier

github.com/Microsoft

9 years ago

165 points

6.

Dafny is a verification-aware programming language

github.com/dafny-lang

2 years ago

107 points

7.

Dafny: verification-aware programming language

github.com/Microsoft

8 years ago

78 points

8.

Dafny: Verification-Aware Programming Language

github.com/dafny-lang

6 years ago

64 points

9.

You Are Doing JSON APIs Wrong (“foo”:{}, not “type”: “foo”)

gist.github.com

4 years ago

FeepingCreature

46 points

10.

github.com/Co-dfns

2 years ago

39 points

11.

Maze generation code, inspired by working through Mazes for Programmers

github.com/defndaines

9 years ago

26 points

12.

Dafny: a verification-aware programming language

github.com/Microsoft

10 years ago

11 points

13.

Co-dfns: High-performance, reliable, and parallel APL

github.com/Co-dfns

a year ago

5 points

14.

A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs

github.com/namin

5 months ago

4 points

15.

Maze generation code, inspired by Mazes for Programmers

github.com/defndaines

9 years ago

4 points

16.

Co-Dfns: High-Performance, Reliable, and Parallel APL

github.com/Co-dfns

7 years ago

3 points

17.

github.com/defnull

2 years ago

2 points

18.

github.com/SwampertX

3 years ago

2 points

19.

github.com/Co-dfns

3 years ago

2 points

20.

Objective-C Exam

gist.github.com

6 years ago

2 points

21.

Dafny: Verification-Aware Programming Language

github.com/Microsoft

7 years ago

2 points

22.

Dafny: Verification-Aware Programming Language from Microsoft

github.com/Microsoft

10 years ago

2 points

23.

Adaptive Dynamic Prompt idea - ChatGPT writes its own prompt

gist.github.com

3 years ago

1 points

24.

Pixelflut: Multiplayer Canvas

github.com/defnull

2 years ago

1 points

25.

Dafny -a verification-aware programming language from Microsoft

github.com/Microsoft

10 years ago

1 points

26.

Co-Dfns: High-Performance, Reliable, and Parallel APL

github.com/arcfide

10 years ago

80 points

27.

Co-dfns APL Compiler Release 2016.8.1

github.com/arcfide

10 years ago

16 points

28.

Dafny Autopilot

github.com/Beneficial-AI-Foundation

2 years ago

1 points

29.

A Guided Tour of Clojure Destructuring Bind in Emacs Lisp (2011)

github.com/VincentToups

9 years ago

59 points

30.

Show HN: LemmaScript, a verification toolchain for TypeScript via Dafny

github.com/midspiral

2 months ago

5 points