Search: github.com/ibab | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Short Bash Quiz

gist.github.com

2 years ago

1 points

62.

Write any text to your GitHub activity chart

github.com/ihabunek

3 years ago

1 points

63.

Libfq – C API wrapper for Firebird

github.com/ibarwick

3 years ago

1 points

64.

Fbsql – a command-line client for Firebird

github.com/ibarwick

5 years ago

1 points

65.

SimpleMDE RTL – Full RTL Version of SimpleMDE Markdown Editor

github.com/imAbdelhadi

5 years ago

1 points

66.

Moitorama 2018 Talks

gist.github.com

8 years ago

1 points

67.

Show HN: Picobench – yet another C++ microbenchmarking library

github.com/iboB

8 years ago

1 points

68.

Toot – Mastodon CLI interface

github.com/ihabunek

9 years ago

1 points

69.

Using Dijkstra's algorithm to draw maps

github.com/ibaaj

10 years ago

1 points

70.

Show HN: IBAnimatable 2.0 – Configure custom transitions in Interface Builder

github.com/JakeLin

10 years ago

1 points

71.

Falsehoods Programmers Believe About International Bank Account Numbers (IBANs)

github.com/globalcitizen

10 years ago

4 points

72.

Battery Intelligence SDK for IoT (NRF52840, STM32, ESP32-C3)

github.com/aliaksandr-liapin

2 months ago

2 points

73.

Falsehoods Programmers Believe About IBANs

github.com/globalcitizen

3 years ago

2 points

74.

Show HN: IBANforge – Free IBAN/BIC validation API with compliance data

github.com/cammac-creator

2 months ago

1 points

75.

I Implemented Induced Set Attention Block

github.com/Rishit-dagli

3 years ago

1 points

76.

A Coder's Nightmare

isabre.github.com

14 years ago

2 points

77.

Fresco, KGI and GGI

3 years ago

2 points

78.

Solving a puzzle using the Isabelle proof assistant

gist.github.com

8 years ago

48 points

79.

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

github.com/different-ai

a year ago

9 points

80.

AutoCorrode: Verification Infrastructure for Isabelle/HOL

github.com/awslabs

a year ago

4 points

81.

A machine-verified formalization of Advaita Vedānta in Isabelle/HOL

github.com/matthew-scherf

8 months ago

3 points

82.

Isabelle as a solver in Leon

github.com/epfl-lara

11 years ago

2 points

83.

SimpleFlatMapper a lightweight alternative to iBatis and Hibernate

github.com/arnaudroger

12 years ago

1 points

84.

An easy jdbc framework to be an alternative to ibatis/mybatis

github.com/bingoohuang

13 years ago

1 points

85.

Unity3D IAB made easy

github.com/soomla

13 years ago

1 points

86.

github.com/mdomke

4 years ago

1 points

87.

Model of the Classic Ibanez Tube Screamer 808 Using Nodal Analysis and WDF

github.com/JamesStubbsEng

4 years ago

1 points

88.

Block two more gadget types (ibatis-sqlmap anteros-C CVE-2020-9547 CVE-2020-9548

github.com/FasterXML

6 years ago

1 points

89.

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

2 years ago

231 points

90.

Show HN: Mem0 – open-source Memory Layer for AI apps

github.com/mem0ai

2 years ago

201 points