Search: github.com/symblic | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Show HN: Project Chimera v1.2 – Neuro-Symbolic-Causal AI Agent (Open Source)

github.com/akarlaraytu

9 months ago

2 points

62.

Gymbo: Gradient-Based Symbolic Execution

github.com/Koukyosyumei

3 years ago

2 points

63.

Unsupervised Learning of Symbolic Node Representations

github.com/smeznar

3 years ago

2 points

64.

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

github.com/beenotung

4 years ago

2 points

65.

Show HN: PolyCalc. A simple symbolic polynomial calculator

github.com/Zeta611

5 years ago

2 points

66.

Show HN: Symbolic Differentiation in Haskell

github.com/BenedictEggers

11 years ago

2 points

67.

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

github.com/Mankirat47

15 days ago

2 points

68.

Astrum Verum – A Vector Symbolic cognitive memory that beats RAG

github.com/vitaliyfedotovpro-art

a month ago

2 points

69.

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

github.com/MyceliaCognition

2 months ago

2 points

70.

Echidna 2.3 released with symbolic execution, Foundry integration and more

github.com/crytic

6 months ago

2 points

71.

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

github.com/XzenithAI

10 months ago

2 points

72.

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

github.com/GlobalSushrut

a year ago

2 points

73.

LLM finetuned for generating symbolic music

github.com/francoislanc

a year ago

2 points

74.

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

github.com/BytexGrid

a year ago

2 points

75.

Solve Global Lyapunov functions with symbolic transformers

github.com/facebookresearch

2 years ago

2 points

76.

Confer: The symbolic links manager for your configuration files

github.com/tchoutri

2 years ago

2 points

77.

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

github.com/SynaLinks

2 years ago

2 points

78.

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

github.com/MusicLang

2 years ago

2 points

79.

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

github.com/csvl

2 years ago

2 points

80.

Mathematical Symbolic Differentiation in Guile Scheme

gist.github.com

3 years ago

2 points

81.

SymReg: A Python Symbolic Regression Engine

github.com/danuker

6 years ago

2 points

82.

Microsoft's Symbolic Plan

gist.github.com

15 years ago

2 points

83.

Sym: A Mathematica package for generating symbolic models from data

github.com/paulknysh

8 years ago

2 points

84.

Sym: A Mathematica package for generating symbolic models from data

github.com/paulknysh

8 years ago

2 points

85.

DeepState augments C/C++ test-driven development with symbolic execution

github.com/trailofbits

8 years ago

2 points

86.

Symbolic regression: derive an expression from data

github.com/JonyEpsilon

9 years ago

2 points

87.

Symbolically Expressed Lambdas

github.com/dzautner

9 years ago

2 points

88.

A Mathematica package for parallel symbolic regression using Monte Carlo

github.com/paulknysh

10 years ago

2 points

89.

MPL – Computer Algebra and Symbolic Computation for R6RS Scheme

github.com/dharmatech

10 years ago

2 points

90.

The K-Metallic Mirror: An Algebraic System and Its Foundational Symbolic Proofs

github.com/TristenHarr

a year ago

1 points