Search: github.com/Praqma | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Poi: Pragmatic point-free theorem prover assistant in Rust (github.com/advancedresearch)

71 points

6 years ago

32.

Show HN: Pika – pragmatic, functional, prefixed IDs (github.com/hopinc)

9 points

4 years ago

33.

Show HN: Lightweight pragmatic tube status page (github.com/jpsingleton)

6 points

11 years ago

34.

Announcing Actix web 0.3 – A small, fast, pragmatic, async rust web framework

6 points

8 years ago

35.

PROTON A pragmatic Python framework of 2018!

5 points

8 years ago

36.

Show HN: Open Lowcode v1.13 – now with Pragmatic object to Relational mapping (github.com/openlowcode)

5 points

6 years ago

37.

Rigid C++: A Pragmatic Architecture for High-Performance Systems (github.com/I-A-S)

4 points

5 days ago

38.

Actix web 1.0.0 is released – a small, pragmatic, and fast web framework – Rust (github.com/actix)

4 points

7 years ago

39.

Show HN: Mobile-friendly pragmatic London underground status page (github.com/jpsingleton)

3 points

11 years ago

40.

A pragmatic set of modern colour space transforms for the Odin language (github.com/heavyrain266)

3 points

4 days ago

41.

Proteanhq/Protean: Pragmatic Framework for Ambitious Applications (github.com/proteanhq)

3 points

2 years ago

42.

Show HN: Tumbleweed, pragmatic tool to understand large Java and Kotlin classes (github.com/LegacyCodeHQ)

3 points

ragunathjawahar

3 years ago

43.

Expression – Pragmatic functional programming for Python inspired by F# (github.com/cognitedata)

3 points

3 years ago

44.

Managarm: Pragmatic microkernel-based OS with fully asynchronous I/O (github.com/managarm)

3 points

6 years ago

45.

Simple, pragmatic and extremely fast web framework for Rust (github.com/actix)

3 points

7 years ago

46.

Show HN: Rulette – A Pragmatic Library for Business Rule Management (github.com/kislayverma)

2 points

10 years ago

47.

Stack Error – Pragmatic error handling for Rust (github.com/gmcgoldr)

2 points

2 years ago

48.

Pragmatic effect composition and validation for Rust (github.com/iepathos)

2 points

5 months ago

49.

Show HN: A pragmatic SQLite schema for application-level caching (gist.github.com)

2 points

7 months ago

50.

A pragmatic perspective on Go software design (github.com/lone-wolf-operator)

2 points

a year ago

51.

Show HN: aiide – A pragmatic framework to build LLM Co-pilots (github.com/Anilturaga)

2 points

2 years ago

52.

Yet simple and pragmatic PHP library performs adding two numbers (github.com/Herzult)

2 points

4 years ago

53.

Pragmatic Termination Analysis (gist.github.com)

2 points

5 years ago

54.

Pragmatic Provisioning Using Clojure (github.com/epiccastle)

2 points

6 years ago

55.

Spire – Pragmatic Provisioning Using Clojure (github.com/epiccastle)

2 points

6 years ago

56.

Show HN: Redux-rx-http, a pragmatic HTTP layer for redux using redux-observable (github.com/radiosilence)

2 points

9 years ago

57.

Aiide: Pragmatic framework to build LLM Copilots (github.com/Anilturaga)

1 point

2 years ago

58.

Show HN: CouchDB Importer – A pragmatic CSV/JSON import tool (github.com/wanjus)

1 point

4 months ago

59.

Show HN: SpecMem-A Unified Ax and Pragmatic Memory for Coding Agents (super-agentic.ai)

1 point

6 months ago

60.

A lightweight, pragmatic Command Bus library for Go (github.com/go-dew)

1 point

2 years ago