Search: github.com/symblic | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Billiard Fractals from floor(k·√2) mod 2 – visualizing symbolic sequences (github.com/xcontcom)

1 point

a year ago

92.

Neuro Symbolic AI with Quarkus and Drools (github.com/andrearaponi)

1 point

a year ago

93.

Symbolic math scripting with Java JShell (github.com/axkr)

1 point

8 years ago

94.

LaTeX: dataref -- reference symbolic data points (github.com/stettberger)

1 point

12 years ago

95.

Show HN: I just shipped the canonical neuro-symbolic control demo (github.com/anulum)

1 point

4 months ago

96.

Show HN: A neuro-symbolic manufacturing engine built in 1 week with Gemini 3.0 (github.com/globalhawk04)

1 point

6 months ago

97.

Reasoning Core: A Scalable RL Environment for LLM Symbolic Reasoning (github.com/sileod)

1 point

8 months ago

98.

Show HN: symtree - Mirrored Folder Structure with Symbolic Linked Files (github.com/kaelspencer)

1 point

14 years ago

99.

Show HN: EIRA-KEM – a symbolic post-quantum KEM for academic testing (github.com/CarlosStx99)

1 point

10 months ago

100.

Built a Symbolic System to Control and Audit GPT Interactions

1 point

a year ago

101.

SEninja: Symbolic execution plugin for Binary Ninja (github.com/borzacchiello)

1 point

a year ago

102.

Holis: A vector-symbolic implementation of a Lisp interpreter (github.com/eilene-ftf)

1 point

2 years ago

103.

Git 2.32.0: .gitignore files that are symbolic links are ignored (github.com/git)

1 point

5 years ago

104.

Clj-maxima, symbolic algebra on Clojure using maxima and Common Lisp (github.com/lsevero)

1 point

5 years ago

105.

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

1 point

6 years ago

106.

Show HN: ExpoSE, a dynamic symbolic execution engine for modern JavaScript (github.com/ExpoSEJS)

1 point

6 years ago

107.

PLSysSec/haybale: Symbolic execution of LLVM IR with an engine written in Rust (github.com/PLSysSec)

1 point

6 years ago

108.

SymJAX: Symbolic CPU/GPU/TPU Programming (github.com/RandallBalestriero)

1 point

6 years ago

109.

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

1 point

6 years ago

110.

Sym: A Mathematica package for generating symbolic models from data (github.com/paulknysh)

1 point

7 years ago

111.

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

1 point

8 years ago

112.

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

1 point

9 years ago

113.

A Mathematica package for generating symbolic models from data (github.com/paulknysh)

1 point

9 years ago

114.

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

1 point

11 years ago

115.

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

854 points

3 years ago

116.

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

194 points

2 years ago

117.

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

163 points

2 years ago

118.

Show HN: VirtualStorageLibrary – .NET Tree solutions for items, dirs, symlinks (shimodateakira.github.io)

63 points

2 years ago

119.

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

30 points

a year ago

120.

Ask HN: Is an interdisciplinary career worth it?

28 points

8 years ago