Search: github.com/agda | Heykuki News

HK

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

2 years ago

5 points

2.

github.com/agda

12 years ago

5 points

3.

Agda2hs: Verified and readable Haskell code from Agda

github.com/agda

4 years ago

5 points

4.

Programming and Proving in Agda [pdf]

github.com/jespercockx

4 years ago

4 points

5.

Category Theory Library for Agda

github.com/agda

4 years ago

3 points

6.

Agda-sessions: Learn the Agda basics in three 2-hour sessions

github.com/anuyts

7 years ago

3 points

7.

Coercion and Type Refinement in Agda

github.com/sjiitr

12 years ago

2 points

8.

Integer overflow causes Russel's paradox

github.com/agda

4 years ago

1 points

9.

Supra Aeon Story with Agda Proof and Provisional Appendix

github.com/GoodRoyal

7 months ago

3 points

10.

Prototyping a small subset of Luau in Agda

github.com/Roblox

4 years ago

3 points

11.

Lemmachine - A web framework in Agda

github.com/larrytheliquid

16 years ago

1 points

12.

Lemmachine: a web framework in Agda

github.com/larrytheliquid

16 years ago

1 points

13.

Show HN: FuturLang – Natural language formal verification

5 months ago

1 points

14.

Show HN: Map v1.0 – Deterministic identity for structured data

github.com/map-protocol

4 months ago

1 points

15.

Github.com Down Again?

4 years ago

116 points

16.

Show HN: AgentArmor – open-source 8-layer security framework for AI agents

github.com/Agastya910

3 months ago

10 points

17.

IT community against political repressions in Russia

7 years ago

9 points

18.

Show HN: Securing the Ralph Wiggum Loop – DevSecOps for Autonomous Coding Agents

github.com/agairola

5 months ago

4 points

19.

Show HN: Cursor extension to track LLM cache TTL

github.com/agastalver

3 months ago

2 points

20.

Show HN: AGAI – A minimal, model-driven Go web framework

github.com/vrianta

a year ago

2 points

21.

Show HN: I Vibecoded a Python Class Hierarchy Checker (Needs Your Eyes)

github.com/agaz1985

a year ago

2 points

22.

Launch HN: Adam (YC W25) – Open-Source AI CAD

github.com/Adam-CAD

5 days ago

212 points

23.

Agate, a simple Gemini server written in Rust

github.com/mbrubeck

5 years ago

196 points

24.

A comprehensive guide to 50 years of evolution of strict C programming

github.com/agavrel

5 years ago

100 points

25.

How to clone Agar.io

github.com/huytd

11 years ago

76 points

26.

A list of awesome CLI apps

github.com/agarrharr

2 years ago

45 points

27.

Yokadi: CLI sqlite powered todo list

github.com/agateau

11 years ago

18 points

28.

GitHub Down Again

status.github.com

14 years ago

16 points

29.

Tashk – a todo manager written in pure bash

github.com/agamoaltrove

a month ago

6 points

30.

Show HN: Agam Space – Self-hosted, zero-knowledge, E2EE file storage

github.com/agam-space

5 months ago

6 points