Search: github.com/Symbitic | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

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

5 months ago

26 points

32.

Show HN: Kotlin∇: Shape-Safe Symbolic Differentiation with Algebraic Data Types

github.com/breandan

5 years ago

15 points

33.

Show HN: NeatShift – Organize Windows files with symbolic links

github.com/BytexGrid

a year ago

13 points

34.

Hybrid Concrete/Symbolic Testing

gist.github.com

4 years ago

13 points

35.

Symbolic Computer algebra systems/libraries

github.com/topics

2 years ago

12 points

36.

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

github.com/Ag3497120

4 months ago

11 points

37.

Seer: Symbolic Execution Engine for Rust

github.com/dwrensha

9 years ago

7 points

38.

Solving a basic college-physics problem symbolically with C#

gist.github.com

11 years ago

6 points

39.

Neurosymbolic AI server combining Prolog's symbolic reasoning with MCP

github.com/adamrybinski

8 months ago

6 points

40.

BinSym: Symbolic execution for RISC-V machine code based on LibRISCV ISA model

github.com/agra-uni-bremen

2 years ago

6 points

41.

Loop_tool tutorial – a lazy symbolic linear algebra toolkit

github.com/facebookresearch

5 years ago

6 points

42.

Javascript Genetic Programming Wizard for Symbolic Regression

github.com/zekenie

13 years ago

5 points

43.

Maat: Open-Source Dynamic Symbolic Execution and Binary Analysis Framework

github.com/trailofbits

4 years ago

5 points

44.

Show HN: Project Chimera – Hybrid AI Agent Combining LLM, Symbolic, and Causal

github.com/akarlaraytu

9 months ago

4 points

45.

Show HN: MuSE - Markup using Symbolic Expressions. What do you think?

github.com/draq

14 years ago

4 points

46.

EdgeSense – replacing neural nets on microcontrollers with symbolic physics

github.com/Kretski

2 months ago

4 points

47.

SymCalc-Ruby: Symbolic mathematics and calculus in Ruby

github.com/symcalc

2 years ago

4 points

48.

Show HN: Symbolic Math in Ruby

gist.github.com

8 years ago

4 points

49.

NotaGen: Advancing Musicality in Symbolic Music Generation with LLM Training

github.com/ElectricAlexis

a year ago

3 points

50.

Show HN: Wirewright, an experimental symbolic physics environment

github.com/wirewright

14 hours ago

3 points

51.

My symbolic regression engine rediscovered Kepler's Third Law from raw data

github.com/ariel95500-create

a day ago

3 points

52.

Apalache: Symbolic model checker for TLA+ and Quint

github.com/apalache-mc

a month ago

3 points

53.

SEninja: Symbolic execution plugin for Binary Ninja

github.com/borzacchiello

a year ago

3 points

54.

Symbolverse – minimalistic symbolic term rewriting framework

github.com/tearflake

a year ago

3 points

55.

torchhd: Hyperdimensional Computing and Vector Symbolic Architectures in PyTorch

github.com/hyperdimensional-computing

a year ago

3 points

56.

Show HN: Adventures in Math with Symbolic Programming (SymPy, Python)

github.com/lascauje

2 years ago

3 points

57.

DeepState – common interface to symbolic execution and fuzzing engines

github.com/trailofbits

5 years ago

3 points

58.

Symbolist: Engine for symbolic mathematics in Lisp-style S-exps in OCaml

github.com/ruijiefang

6 years ago

3 points

59.

haybale: Symbolic Execution Engine for LLVM IR, written in Rust

github.com/PLSysSec

7 years ago

3 points

60.

A Mathematica package for generating symbolic models from data

github.com/paulknysh

9 years ago

3 points