Search: github.com/symblic | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Neurosymbolic AI server combining Prolog's symbolic reasoning with MCP (github.com/adamrybinski)

6 points

7 months ago

32.

BinSym: Symbolic execution for RISC-V machine code based on LibRISCV ISA model (github.com/agra-uni-bremen)

6 points

2 years ago

33.

Loop_tool tutorial – a lazy symbolic linear algebra toolkit (github.com/facebookresearch)

6 points

5 years ago

34.

Javascript Genetic Programming Wizard for Symbolic Regression (github.com/zekenie)

5 points

13 years ago

35.

Maat: Open-Source Dynamic Symbolic Execution and Binary Analysis Framework (github.com/trailofbits)

5 points

4 years ago

36.

Show HN: Project Chimera – Hybrid AI Agent Combining LLM, Symbolic, and Causal (github.com/akarlaraytu)

4 points

9 months ago

37.

Show HN: MuSE - Markup using Symbolic Expressions. What do you think? (github.com/draq)

4 points

14 years ago

38.

EdgeSense – replacing neural nets on microcontrollers with symbolic physics (github.com/Kretski)

4 points

2 months ago

39.

SymCalc-Ruby: Symbolic mathematics and calculus in Ruby (github.com/symcalc)

4 points

2 years ago

40.

Show HN: Symbolic Math in Ruby (gist.github.com)

4 points

8 years ago

41.

NotaGen: Advancing Musicality in Symbolic Music Generation with LLM Training (github.com/ElectricAlexis)

3 points

a year ago

42.

Apalache: Symbolic model checker for TLA+ and Quint (github.com/apalache-mc)

3 points

16 days ago

43.

SEninja: Symbolic execution plugin for Binary Ninja (github.com/borzacchiello)

3 points

a year ago

44.

Symbolverse – minimalistic symbolic term rewriting framework (github.com/tearflake)

3 points

a year ago

45.

torchhd: Hyperdimensional Computing and Vector Symbolic Architectures in PyTorch (github.com/hyperdimensional-computing)

3 points

a year ago

46.

Show HN: Adventures in Math with Symbolic Programming (SymPy, Python) (github.com/lascauje)

3 points

2 years ago

47.

DeepState – common interface to symbolic execution and fuzzing engines (github.com/trailofbits)

3 points

5 years ago

48.

Symbolist: Engine for symbolic mathematics in Lisp-style S-exps in OCaml (github.com/ruijiefang)

3 points

6 years ago

49.

haybale: Symbolic Execution Engine for LLVM IR, written in Rust (github.com/PLSysSec)

3 points

7 years ago

50.

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

3 points

9 years ago

51.

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

3 points

9 years ago

52.

Compiler for a thin Symbolic Expressions abstraction layer over Lambda calculus (github.com/dzautner)

3 points

9 years ago

53.

Symbolic math package in scala (github.com/cascala)

3 points

10 years ago

54.

Theano – library for GPU based efficient symbolic differentiation (github.com/Theano)

3 points

11 years ago

55.

Angelcore: Building an Artificial Angel – Recursive Symbolic AI and Bio Memory (github.com/Mattbusel)

2 points

a year ago

56.

Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI (github.com/Chimera-Protocol)

2 points

4 months ago

57.

Show HN: NeatShift – A Modern Windows File Organizer with Symbolic Link Support (github.com/BytexGrid)

2 points

a year ago

58.

A purely symbolic gesture [Scheme] (github.com/JeffBezanson)

2 points

11 years ago

59.

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

2 points

9 months ago

60.

Gymbo: Gradient-Based Symbolic Execution (github.com/Koukyosyumei)

2 points

3 years ago