Search: github.com/ibab | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Short Bash Quiz (gist.github.com)

1 point

2 years ago

62.

Write any text to your GitHub activity chart (github.com/ihabunek)

1 point

3 years ago

63.

Libfq – C API wrapper for Firebird (github.com/ibarwick)

1 point

3 years ago

64.

Fbsql – a command-line client for Firebird (github.com/ibarwick)

1 point

5 years ago

65.

SimpleMDE RTL – Full RTL Version of SimpleMDE Markdown Editor (github.com/imAbdelhadi)

1 point

5 years ago

66.

Moitorama 2018 Talks (gist.github.com)

1 point

8 years ago

67.

Show HN: Picobench – yet another C++ microbenchmarking library (github.com/iboB)

1 point

8 years ago

68.

Toot – Mastodon CLI interface (github.com/ihabunek)

1 point

9 years ago

69.

Using Dijkstra's algorithm to draw maps (github.com/ibaaj)

1 point

10 years ago

70.

Show HN: IBAnimatable 2.0 – Configure custom transitions in Interface Builder (github.com/JakeLin)

1 point

10 years ago

71.

Falsehoods Programmers Believe About International Bank Account Numbers (IBANs) (github.com/globalcitizen)

4 points

10 years ago

72.

Battery Intelligence SDK for IoT (NRF52840, STM32, ESP32-C3) (github.com/aliaksandr-liapin)

2 points

2 months ago

73.

Falsehoods Programmers Believe About IBANs (github.com/globalcitizen)

2 points

3 years ago

74.

Show HN: IBANforge – Free IBAN/BIC validation API with compliance data (github.com/cammac-creator)

1 point

2 months ago

75.

I Implemented Induced Set Attention Block (github.com/Rishit-dagli)

1 point

3 years ago

76.

A Coder's Nightmare (isabre.github.com)

2 points

14 years ago

77.

Fresco, KGI and GGI

2 points

3 years ago

78.

Solving a puzzle using the Isabelle proof assistant (gist.github.com)

48 points

8 years ago

79.

Show HN: Hyprsqrl – open-source revolut you can self-host (live iban/sepa/ACH) (github.com/different-ai)

9 points

a year ago

80.

AutoCorrode: Verification Infrastructure for Isabelle/HOL (github.com/awslabs)

4 points

a year ago

81.

A machine-verified formalization of Advaita Vedānta in Isabelle/HOL (github.com/matthew-scherf)

3 points

8 months ago

82.

Isabelle as a solver in Leon (github.com/epfl-lara)

2 points

11 years ago

83.

SimpleFlatMapper a lightweight alternative to iBatis and Hibernate (github.com/arnaudroger)

1 point

12 years ago

84.

An easy jdbc framework to be an alternative to ibatis/mybatis (github.com/bingoohuang)

1 point

13 years ago

85.

Unity3D IAB made easy (github.com/soomla)

1 point

13 years ago

86.

IBAN in Python (github.com/mdomke)

1 point

4 years ago

87.

Model of the Classic Ibanez Tube Screamer 808 Using Nodal Analysis and WDF (github.com/JamesStubbsEng)

1 point

4 years ago

88.

Block two more gadget types (ibatis-sqlmap anteros-C CVE-2020-9547 CVE-2020-9548 (github.com/FasterXML)

1 point

6 years ago

89.

Launch HN: Danswer (YC W24) – Open-source AI search and chat over private data

231 points

2 years ago

90.

Show HN: Mem0 – open-source Memory Layer for AI apps (github.com/mem0ai)

201 points

2 years ago