Search: github.com/symblai | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Python utilities for old Nokia Symbian S60 phones (github.com/ssb22)

1 point

6 years ago

122.

Show HN: A Neural Symbolic Reasoning Method on Knowledge Graph (github.com/derenlei)

1 point

6 years ago

123.

GPS Tracker – open-source GPS/GPX track recorder app for Symbian 9.x (github.com/artem78)

1 point

6 years ago

124.

S60Maps – yet another maps for Symbian 9.x (github.com/artem78)

1 point

6 years ago

125.

Sspam: Symbolic Simplification with PAttern Matching (2017) (github.com/quarkslab)

1 point

6 years ago

126.

DeepState: Symbolic Unit Testing for C and C++ (github.com/trailofbits)

1 point

8 years ago

127.

Recreational Rosette - Solving problems with symbolic execution (github.com/Hardmath123)

1 point

9 years ago

128.

Solving a laws of motion problem symbolically with C# (gist.github.com)

1 point

11 years ago

129.

Show HN: LLMs can generate valid JSON 100% of the time (github.com/normal-computing)

854 points

3 years ago

130.

Show HN: Talk to any ArXiv paper just by changing the URL (github.com/evanhu1)

194 points

2 years ago

131.

Show HN: Material Files – Open Source Material Design File Manager for Android (github.com/zhanghai)

163 points

2 years ago

132.

Show HN: Claude-File-Recovery, recover files from your ~/.claude sessions (github.com/hjtenklooster)

99 points

3 months ago

133.

Show HN: Awesome J2ME (github.com/hstsethi)

79 points

7 months ago

134.

Show HN: Lnk – Git-native dotfiles manager (github.com/yarlson)

75 points

a year ago

135.

Show HN: Kekkai – a simple, fast file integrity monitoring tool in Go (github.com/catatsuy)

59 points

8 months ago

136.

Show HN: I built a deep learning engine from scratch in Python (github.com/whitegra)

30 points

a year ago

137.

Show HN: Atomic Database: A deductive database with a natural language interface

12 points

7 years ago

138.

Show HN: A Browser-Only Dream Interpreter Using Symbol Logic and JavaScript (github.com/Dino-Nuggies45)

12 points

a year ago

139.

Show HN: I built a dream interpreter in JavaScript, no AI, no server, just logic (github.com/Dino-Nuggies45)

10 points

a year ago

140.

Show HN: TheorIA – An Open Curated Physics Dataset (Equations,Explanations,JSON) (theoria-dataset.github.io)

9 points

a year ago

141.

Show HN: DeepClause – A Neurosymbolic AI System Built on WASM and Prolog (github.com/deepclause)

7 points

7 months ago

142.

Do Not Train" Meta Tags: The Robots.txt of AI – Will Anyone Respect Them?

5 points

a year ago

143.

Show HN: A Vaadin Algebra and Calculus Solver Built with AI Assistance

4 points

3 months ago

144.

Show HN: An opensource tool for assisted exploit generation on binary programs

4 points

13 years ago

145.

Show HN: I made a browser extension to practice phonetic scripts (like katakana) (github.com/scpedicini)

3 points

7 months ago

146.

Show HN: Claude-Config – Dotfiles for Claude Code (github.com/sumchattering)

3 points

5 months ago

147.

Show HN: Envoic – Find and clean up scattered Python virtual environments (github.com/mahimailabs)

3 points

4 months ago

148.

Show HN: Obsidenc – a Rust-based paranoid-grade encryption utility (github.com/markrai)

3 points

6 months ago

149.

Show HN: I built an AI Colosseum to battle-test different agent architectures (project-chimera.streamlit.app)

3 points

8 months ago

150.

Show HN: I made a semantic OS for language reasoning (not kidding) (github.com/onestardao)

3 points

10 months ago