Search: github.com/symblic | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: pqry – A fast, lightweight CLI tool to diagnose Parquet datasets (github.com/symblic)

4 points

4 months ago

2.

Show HN: Symbolica – Try our symbolic code executor in the browser

45 points

5 years ago

3.

Show HN: SymbolicAI (github.com/Xpitfire)

26 points

3 years ago

4.

SymbolicAI: A neuro-symbolic perspective on LLMs (github.com/ExtensityAI)

224 points

a year ago

5.

Symbolic Algebraic Library written entirely in C# (github.com/ibluesun)

86 points

9 years ago

6.

Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence (github.com/neelsomani)

16 points

5 months ago

7.

Deep Learning for Symbolic Mathematics (github.com/facebookresearch)

6 points

6 years ago

8.

Agentica TypeScript SDK (github.com/symbolica-ai)

3 points

6 months ago

9.

SymbolicRegression.jl – High-Performance Symbolic Regression in Julia and Python (github.com/MilesCranmer)

2 points

3 years ago

10.

Symbolics.jl (github.com/JuliaSymbolics)

2 points

2 years ago

11.

Enclave: Command-line secure encrypted deniable cloud-synchronized notebook (github.com/symbolicsoft)

2 points

2 years ago

12.

Kyber-K2SO: Go Implementation of the Kyber v2 Post-Quantum KEM (github.com/SymbolicSoft)

2 points

6 years ago

13.

Show HN: Deterministic symbolic memory layer for grounding LLMs (github.com/Th3Hypn0tist)

1 point

3 months ago

14.

Computer algebra library in F# (github.com/mathnet)

2 points

12 years ago

15.

Show HN: MemoryCore – symbolic, peer-to-peer memory system for AI (github.com/ProToxicNinja)

7 points

a year ago

16.

Deep Symbolic Optimization (github.com/dso-org)

2 points

2 years ago

17.

Show HN: Not another sloppy memory tool (engram-fold.dev)

3 points

4 months ago

18.

Show HN: PuffinBASIC – A cross-platform modern BASIC interpreter written in Java

36 points

6 years ago

19.

Show HN: SymForce – Fast symbolic computation, code generation, and optimization (github.com/symforce-org)

125 points

4 years ago

20.

KLEE Symbolic Execution Engine (github.com/klee)

88 points

2 years ago

21.

Solving a physics problem symbolically with C# (gist.github.com)

87 points

11 years ago

22.

Symbolic Exploit Assistant (SEA) (github.com/neuromancer)

73 points

13 years ago

23.

Show HN: SymDerive – A functional, stateless symbolic math library

26 points

4 months ago

24.

Show HN: Kotlin∇: Shape-Safe Symbolic Differentiation with Algebraic Data Types (github.com/breandan)

15 points

5 years ago

25.

Show HN: NeatShift – Organize Windows files with symbolic links (github.com/BytexGrid)

13 points

a year ago

26.

Hybrid Concrete/Symbolic Testing (gist.github.com)

13 points

4 years ago

27.

Symbolic Computer algebra systems/libraries (github.com/topics)

12 points

2 years ago

28.

I beat Grok 4 on ARC-AGI-2 using a CPU-only symbolic engine (18.1% score) (github.com/Ag3497120)

11 points

3 months ago

29.

Seer: Symbolic Execution Engine for Rust (github.com/dwrensha)

7 points

9 years ago

30.

Solving a basic college-physics problem symbolically with C# (gist.github.com)

6 points

11 years ago