Search: github.com/agda | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: I built GithubReader.org for better learning experience (githubreader.org)

5 points

2 years ago

2.

Agda 2.4.2 (github.com/agda)

5 points

12 years ago

3.

Agda2hs: Verified and readable Haskell code from Agda (github.com/agda)

5 points

4 years ago

4.

Programming and Proving in Agda [pdf] (github.com/jespercockx)

4 points

4 years ago

5.

Category Theory Library for Agda (github.com/agda)

3 points

4 years ago

6.

Agda-sessions: Learn the Agda basics in three 2-hour sessions (github.com/anuyts)

3 points

7 years ago

7.

Coercion and Type Refinement in Agda (github.com/sjiitr)

2 points

12 years ago

8.

Integer overflow causes Russel's paradox (github.com/agda)

1 point

4 years ago

9.

Supra Aeon Story with Agda Proof and Provisional Appendix (github.com/GoodRoyal)

3 points

6 months ago

10.

Prototyping a small subset of Luau in Agda (github.com/Roblox)

3 points

4 years ago

11.

Lemmachine - A web framework in Agda (github.com/larrytheliquid)

1 point

16 years ago

12.

Lemmachine: a web framework in Agda (github.com/larrytheliquid)

1 point

16 years ago

13.

Show HN: FuturLang – Natural language formal verification

1 point

4 months ago

14.

Show HN: Map v1.0 – Deterministic identity for structured data (github.com/map-protocol)

1 point

3 months ago

15.

Github.com Down Again? (github.com)

116 points

4 years ago

16.

Show HN: adamsreview – better multi-agent PR reviews for Claude Code (github.com/adamjgmiller)

85 points

25 days ago

17.

Show HN: AgentArmor – open-source 8-layer security framework for AI agents (github.com/Agastya910)

10 points

3 months ago

18.

IT community against political repressions in Russia

9 points

7 years ago

19.

Show HN: Securing the Ralph Wiggum Loop – DevSecOps for Autonomous Coding Agents (github.com/agairola)

4 points

4 months ago

20.

Show HN: Cursor extension to track LLM cache TTL (github.com/agastalver)

2 points

2 months ago

21.

Show HN: AGAI – A minimal, model-driven Go web framework (github.com/vrianta)

2 points

a year ago

22.

Show HN: I Vibecoded a Python Class Hierarchy Checker (Needs Your Eyes) (github.com/agaz1985)

2 points

a year ago

23.

Agate, a simple Gemini server written in Rust (github.com/mbrubeck)

196 points

5 years ago

24.

A comprehensive guide to 50 years of evolution of strict C programming (github.com/agavrel)

100 points

5 years ago

25.

How to clone Agar.io (github.com/huytd)

76 points

11 years ago

26.

A list of awesome CLI apps (github.com/agarrharr)

45 points

2 years ago

27.

Yokadi: CLI sqlite powered todo list (github.com/agateau)

18 points

10 years ago

28.

GitHub Down Again (status.github.com)

16 points

14 years ago

29.

Tashk – a todo manager written in pure bash (github.com/agamoaltrove)

6 points

24 days ago

30.

Show HN: Agam Space – Self-hosted, zero-knowledge, E2EE file storage (github.com/agam-space)

6 points

5 months ago