Search: github.com/Sympol | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Show HN: Symbolic Differentiation in Haskell (github.com/BenedictEggers)

2 points

11 years ago

122.

Astrum Verum – A Vector Symbolic cognitive memory that beats RAG (github.com/vitaliyfedotovpro-art)

2 points

10 days ago

123.

A Neuro-Symbolic engine that autonomously verified the GCT barrier in Lean 4 (github.com/MyceliaCognition)

2 points

a month ago

124.

Fast Static Symbol Table (FSST): efficient random-access string compression (github.com/cwida)

2 points

5 months ago

125.

Echidna 2.3 released with symbolic execution, Foundry integration and more (github.com/crytic)

2 points

6 months ago

126.

Nvim-ctagtap: Neovim plugin for tap-to-navigate ctags, single-click symbol navi (github.com/h2337)

2 points

9 months ago

127.

VX-NOVA.Ω1: A Symbolic AI Engine That Patches Code Without Any Models (github.com/XzenithAI)

2 points

9 months ago

128.

MCP-Zero Zeta Playground Symbolic Whitebox AGI Foundation (Offline, Open Source) (github.com/GlobalSushrut)

2 points

10 months ago

129.

LLM finetuned for generating symbolic music (github.com/francoislanc)

2 points

a year ago

130.

NeatShift: A modern Windows file organization tool with symbolic link support (github.com/BytexGrid)

2 points

a year ago

131.

Solve Global Lyapunov functions with symbolic transformers (github.com/facebookresearch)

2 points

2 years ago

132.

Karabiner Layouts for Symbols and Navigation (gist.github.com)

2 points

2 years ago

133.

Confer: The symbolic links manager for your configuration files (github.com/tchoutri)

2 points

2 years ago

134.

Show HN: A Neuro-Symbolic Agent framework with automatic optimization/finetuning (github.com/SynaLinks)

2 points

2 years ago

135.

Show HN: MusicLang – a controllable model for symbolic music gen (LLAMA2) (github.com/MusicLang)

2 points

2 years ago

136.

Show HN: SEMA (Symbolic Execution for Malware Analysis/Detection Using Angr) (github.com/csvl)

2 points

2 years ago

137.

Mathematical Symbolic Differentiation in Guile Scheme (gist.github.com)

2 points

3 years ago

138.

FinanceDatabase: A database of 300.000 symbols (ETFs, Currencies, Crypto) (github.com/JerBouma)

2 points

3 years ago

139.

Show HN: Interactive symbols from your decompiler to your debugger (github.com/mahaloz)

2 points

4 years ago

140.

Fzf-ctags: browse ctags-generated index of symbols in the sources via fzf (github.com/psprint)

2 points

4 years ago

141.

Show HN: Dynamic Symbols Cross-Reference (github.com/nwellnhof)

2 points

4 years ago

142.

Programmer-First Keyboard Layout That Puts Symbols on the Home Row (github.com/aru-py)

2 points

5 years ago

143.

AnsiWeather – weather in your terminal, with ANSI colors and Unicode symbols (github.com/fcambus)

2 points

5 years ago

144.

Database of Financial Symbols (github.com/JerBouma)

2 points

5 years ago

145.

SymReg: A Python Symbolic Regression Engine (github.com/danuker)

2 points

5 years ago

146.

Vmlinux-to-elf: A RE tool to recover a .ELF with symbols from a raw kernel (github.com/marin-m)

2 points

6 years ago

147.

Microsoft's Symbolic Plan (gist.github.com)

2 points

15 years ago

148.

Proposal to include Web syndication symbol, a.k.a. RSS icon, in Unicode (2016) (github.com/vhf)

2 points

7 years ago

149.

3D O-Symbols for KIDS orienteering maps (github.com/OpenOrienteering)

2 points

7 years ago

150.

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

2 points

8 years ago