Search: github.com/Praqma | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Managarm: Pragmatic microkernel-based OS with asynchronous I/O

github.com/managarm

2 years ago

160 points

32.

Show HN: G-Fu – a pragmatic Lisp embedded in Go

github.com/codr7

7 years ago

123 points

33.

Poi: Pragmatic point-free theorem prover assistant in Rust

github.com/advancedresearch

6 years ago

71 points

34.

Show HN: Pika – pragmatic, functional, prefixed IDs

github.com/hopinc

4 years ago

9 points

35.

Show HN: Lightweight pragmatic tube status page

github.com/jpsingleton

11 years ago

6 points

36.

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

8 years ago

6 points

37.

PROTON A pragmatic Python framework of 2018!

8 years ago

5 points

38.

Show HN: Open Lowcode v1.13 – now with Pragmatic object to Relational mapping

github.com/openlowcode

6 years ago

5 points

39.

Rigid C++: A Pragmatic Architecture for High-Performance Systems

github.com/I-A-S

23 days ago

4 points

40.

Actix web 1.0.0 is released – a small, pragmatic, and fast web framework – Rust

github.com/actix

7 years ago

4 points

41.

Show HN: Mobile-friendly pragmatic London underground status page

github.com/jpsingleton

11 years ago

3 points

42.

A pragmatic set of modern colour space transforms for the Odin language

github.com/heavyrain266

21 days ago

3 points

43.

Proteanhq/Protean: Pragmatic Framework for Ambitious Applications

github.com/proteanhq

2 years ago

3 points

44.

Show HN: Tumbleweed, pragmatic tool to understand large Java and Kotlin classes

github.com/LegacyCodeHQ

3 years ago

ragunathjawahar

3 points

45.

Expression – Pragmatic functional programming for Python inspired by F#

github.com/cognitedata

3 years ago

3 points

46.

Managarm: Pragmatic microkernel-based OS with fully asynchronous I/O

github.com/managarm

6 years ago

3 points

47.

Simple, pragmatic and extremely fast web framework for Rust

github.com/actix

7 years ago

3 points

48.

Show HN: Rulette – A Pragmatic Library for Business Rule Management

github.com/kislayverma

10 years ago

2 points

49.

Stack Error – Pragmatic error handling for Rust

github.com/gmcgoldr

2 years ago

2 points

50.

Pragmatic effect composition and validation for Rust

github.com/iepathos

6 months ago

2 points

51.

Show HN: A pragmatic SQLite schema for application-level caching

gist.github.com

8 months ago

2 points

52.

A pragmatic perspective on Go software design

github.com/lone-wolf-operator

a year ago

2 points

53.

Show HN: aiide – A pragmatic framework to build LLM Co-pilots

github.com/Anilturaga

2 years ago

2 points

54.

Yet simple and pragmatic PHP library performs adding two numbers

github.com/Herzult

4 years ago

2 points

55.

Pragmatic Termination Analysis

gist.github.com

5 years ago

2 points

56.

Pragmatic Provisioning Using Clojure

github.com/epiccastle

6 years ago

2 points

57.

Spire – Pragmatic Provisioning Using Clojure

github.com/epiccastle

6 years ago

2 points

58.

Show HN: Redux-rx-http, a pragmatic HTTP layer for redux using redux-observable

github.com/radiosilence

9 years ago

2 points

59.

Aiide: Pragmatic framework to build LLM Copilots

github.com/Anilturaga

2 years ago

1 points

60.

Show HN: CouchDB Importer – A pragmatic CSV/JSON import tool

github.com/wanjus

5 months ago

1 points