Search: github.com/symblic | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Unsupervised Learning of Symbolic Node Representations (github.com/smeznar)

2 points

3 years ago

62.

Show HN: A simple and fast Node.js package manager using symbolic link (github.com/beenotung)

2 points

4 years ago

63.

Show HN: PolyCalc. A simple symbolic polynomial calculator (github.com/Zeta611)

2 points

5 years ago

64.

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

2 points

11 years ago

65.

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

2 points

11 days ago

66.

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

2 points

a month ago

67.

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

2 points

6 months ago

68.

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

2 points

9 months ago

69.

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

2 points

a year ago

70.

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

2 points

a year ago

71.

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

2 points

a year ago

72.

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

2 points

2 years ago

73.

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

2 points

2 years ago

74.

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

2 points

2 years ago

75.

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

2 points

2 years ago

76.

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

2 points

2 years ago

77.

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

2 points

3 years ago

78.

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

2 points

5 years ago

79.

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

2 points

15 years ago

80.

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

2 points

8 years ago

81.

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

2 points

8 years ago

82.

DeepState augments C/C++ test-driven development with symbolic execution (github.com/trailofbits)

2 points

8 years ago

83.

Symbolic regression: derive an expression from data (github.com/JonyEpsilon)

2 points

9 years ago

84.

Symbolically Expressed Lambdas (github.com/dzautner)

2 points

9 years ago

85.

A Mathematica package for parallel symbolic regression using Monte Carlo (github.com/paulknysh)

2 points

10 years ago

86.

MPL – Computer Algebra and Symbolic Computation for R6RS Scheme (github.com/dharmatech)

2 points

10 years ago

87.

The K-Metallic Mirror: An Algebraic System and Its Foundational Symbolic Proofs (github.com/TristenHarr)

1 point

a year ago

88.

Show HN: Project Chimera v1.2 – Neuro-Symbolic-Causal AI Agent – OpenSource Demo (github.com/akarlaraytu)

1 point

9 months ago

89.

Building a symbolic math REPL in C (github.com/marcomit)

1 point

2 months ago

90.

What's the best way to benchmark neuro‑symbolic‑causal AI agents? (github.com/akarlaraytu)

1 point

9 months ago