Search: github.com/symblai | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Deep Symbolic Optimization

github.com/dso-org

2 years ago

2 points

62.

Symlinks in GitHub's gh-pages

github.com/Sidnicious

12 years ago

1 points

63.

Star Browser – A Qt-Based Browser for Symbian Belle

github.com/Allstar12345

5 years ago

1 points

64.

Show HN: Not another sloppy memory tool

engram-fold.dev

4 months ago

3 points

65.

NS Basic for Symbian OS

github.com/nsbasic-archive

5 years ago

1 points

66.

Show HN: PuffinBASIC – A cross-platform modern BASIC interpreter written in Java

6 years ago

36 points

67.

Show HN: boxxy – Control where Linux programs put files, without symlinks

github.com/queer

3 years ago

384 points

68.

GitHub Actions checkspelling community workflow GitHub_TOKEN leakage via symlink

github.com/justinsteven

5 years ago

129 points

69.

Show HN: SymForce – Fast symbolic computation, code generation, and optimization

github.com/symforce-org

4 years ago

125 points

70.

KLEE Symbolic Execution Engine

github.com/klee

2 years ago

88 points

71.

Solving a physics problem symbolically with C#

gist.github.com

11 years ago

87 points

72.

Blender for Symbian OS

github.com/Dante-Leoncini

3 years ago

81 points

73.

Symbolic Exploit Assistant (SEA)

github.com/neuromancer

13 years ago

73 points

74.

Show HN: VirtualStorageLibrary – .NET Tree solutions for items, dirs, symlinks

shimodateakira.github.io

2 years ago

63 points

75.

Claude Code CVE-2026-39861:sandbox escape via symlink

github.com/advisories

a month ago

51 points

76.

Music Composition System for Symbian S60

github.com/chainjazz

5 years ago

35 points

77.

I'm 16 and Trying to Save Coral Reefs with Open-Source Symbiotic Biotech

a year ago

35 points

78.

Show HN: SymDerive – A functional, stateless symbolic math library

5 months ago

26 points

79.

Show HN: Kotlin∇: Shape-Safe Symbolic Differentiation with Algebraic Data Types

github.com/breandan

5 years ago

15 points

80.

File deduplication in node.js; reduce your disk usage with symlinks

github.com/nodesocket

15 years ago

14 points

81.

Show HN: NeatShift – Organize Windows files with symbolic links

github.com/BytexGrid

a year ago

13 points

82.

Hybrid Concrete/Symbolic Testing

gist.github.com

4 years ago

13 points

83.

Symbolic Computer algebra systems/libraries

github.com/topics

2 years ago

12 points

84.

I beat Grok 4 on ARC-AGI-2 using a CPU-only symbolic engine (18.1% score)

github.com/Ag3497120

4 months ago

11 points

85.

Facebook's iOS crash symbolization tool for Linux

github.com/facebook

13 years ago

11 points

86.

Show HN: flinck.py, neatly organize your movies using symlinks

github.com/Kraymer

10 years ago

10 points

87.

Show HN: A way to manage dotfiles without silly symlinks and special tools

gist.github.com

10 years ago

8 points

88.

Seer: Symbolic Execution Engine for Rust

github.com/dwrensha

9 years ago

7 points

89.

Solving a basic college-physics problem symbolically with C#

gist.github.com

11 years ago

6 points

90.

Neurosymbolic AI server combining Prolog's symbolic reasoning with MCP

github.com/adamrybinski

8 months ago

6 points