Search: github.com/Sympol | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Fexl now uses dynamic symbol lookup.

github.com/chkoreff

14 years ago

2 points

122.

Unsupervised Learning of Symbolic Node Representations

github.com/smeznar

3 years ago

2 points

123.

Show HN: A simple and fast Node.js package manager using symbolic link

github.com/beenotung

4 years ago

2 points

124.

Show HN: PolyCalc. A simple symbolic polynomial calculator

github.com/Zeta611

5 years ago

2 points

125.

DroneAid: A Symbol Language and ML model for indicating needs to drones, planes

github.com/Code-and-Response

6 years ago

2 points

126.

Show HN: Symbolic Differentiation in Haskell

github.com/BenedictEggers

11 years ago

2 points

127.

Dao Heart 3.13 a symbolic safety layer for value drift and AI alignment research

github.com/Mankirat47

14 days ago

2 points

128.

Astrum Verum – A Vector Symbolic cognitive memory that beats RAG

github.com/vitaliyfedotovpro-art

a month ago

2 points

129.

A Neuro-Symbolic engine that autonomously verified the GCT barrier in Lean 4

github.com/MyceliaCognition

2 months ago

2 points

130.

Fast Static Symbol Table (FSST): efficient random-access string compression

github.com/cwida

5 months ago

2 points

131.

Echidna 2.3 released with symbolic execution, Foundry integration and more

github.com/crytic

6 months ago

2 points

132.

Nvim-ctagtap: Neovim plugin for tap-to-navigate ctags, single-click symbol navi

github.com/h2337

9 months ago

2 points

133.

VX-NOVA.Ω1: A Symbolic AI Engine That Patches Code Without Any Models

github.com/XzenithAI

10 months ago

2 points

134.

MCP-Zero Zeta Playground Symbolic Whitebox AGI Foundation (Offline, Open Source)

github.com/GlobalSushrut

a year ago

2 points

135.

LLM finetuned for generating symbolic music

github.com/francoislanc

a year ago

2 points

136.

NeatShift: A modern Windows file organization tool with symbolic link support

github.com/BytexGrid

a year ago

2 points

137.

Solve Global Lyapunov functions with symbolic transformers

github.com/facebookresearch

2 years ago

2 points

138.

Karabiner Layouts for Symbols and Navigation

gist.github.com

2 years ago

2 points

139.

Confer: The symbolic links manager for your configuration files

github.com/tchoutri

2 years ago

2 points

140.

Show HN: A Neuro-Symbolic Agent framework with automatic optimization/finetuning

github.com/SynaLinks

2 years ago

2 points

141.

Show HN: MusicLang – a controllable model for symbolic music gen (LLAMA2)

github.com/MusicLang

2 years ago

2 points

142.

Show HN: SEMA (Symbolic Execution for Malware Analysis/Detection Using Angr)

github.com/csvl

2 years ago

2 points

143.

Mathematical Symbolic Differentiation in Guile Scheme

gist.github.com

3 years ago

2 points

144.

FinanceDatabase: A database of 300.000 symbols (ETFs, Currencies, Crypto)

github.com/JerBouma

3 years ago

2 points

145.

Show HN: Interactive symbols from your decompiler to your debugger

github.com/mahaloz

4 years ago

2 points

146.

Fzf-ctags: browse ctags-generated index of symbols in the sources via fzf

github.com/psprint

4 years ago

2 points

147.

Show HN: Dynamic Symbols Cross-Reference

github.com/nwellnhof

4 years ago

2 points

148.

Programmer-First Keyboard Layout That Puts Symbols on the Home Row

github.com/aru-py

5 years ago

2 points

149.

AnsiWeather – weather in your terminal, with ANSI colors and Unicode symbols

github.com/fcambus

5 years ago

2 points

150.

Database of Financial Symbols

github.com/JerBouma

5 years ago

2 points