Search: github.com/symblic | Heykuki News

HK

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

8 months ago

6 points

32.

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

github.com/agra-uni-bremen

2 years ago

6 points

33.

Loop_tool tutorial – a lazy symbolic linear algebra toolkit

github.com/facebookresearch

5 years ago

6 points

34.

Javascript Genetic Programming Wizard for Symbolic Regression

github.com/zekenie

13 years ago

5 points

35.

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

github.com/trailofbits

4 years ago

5 points

36.

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

github.com/akarlaraytu

9 months ago

4 points

37.

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

github.com/draq

14 years ago

4 points

38.

EdgeSense – replacing neural nets on microcontrollers with symbolic physics

github.com/Kretski

2 months ago

4 points

39.

SymCalc-Ruby: Symbolic mathematics and calculus in Ruby

github.com/symcalc

2 years ago

4 points

40.

Show HN: Symbolic Math in Ruby

gist.github.com

8 years ago

4 points

41.

NotaGen: Advancing Musicality in Symbolic Music Generation with LLM Training

github.com/ElectricAlexis

a year ago

3 points

42.

Show HN: Wirewright, an experimental symbolic physics environment

github.com/wirewright

21 hours ago

3 points

43.

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

github.com/ariel95500-create

a day ago

3 points

44.

Apalache: Symbolic model checker for TLA+ and Quint

github.com/apalache-mc

a month ago

3 points

45.

SEninja: Symbolic execution plugin for Binary Ninja

github.com/borzacchiello

a year ago

3 points

46.

Symbolverse – minimalistic symbolic term rewriting framework

github.com/tearflake

a year ago

3 points

47.

torchhd: Hyperdimensional Computing and Vector Symbolic Architectures in PyTorch

github.com/hyperdimensional-computing

a year ago

3 points

48.

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

github.com/lascauje

2 years ago

3 points

49.

DeepState – common interface to symbolic execution and fuzzing engines

github.com/trailofbits

5 years ago

3 points

50.

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

github.com/ruijiefang

6 years ago

3 points

51.

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

github.com/PLSysSec

7 years ago

3 points

52.

A Mathematica package for generating symbolic models from data

github.com/paulknysh

9 years ago

3 points

53.

A Mathematica package for generating symbolic models from data

github.com/paulknysh

9 years ago

3 points

54.

Compiler for a thin Symbolic Expressions abstraction layer over Lambda calculus

github.com/dzautner

9 years ago

3 points

55.

Symbolic math package in scala

github.com/cascala

10 years ago

3 points

56.

Theano – library for GPU based efficient symbolic differentiation

github.com/Theano

11 years ago

3 points

57.

Angelcore: Building an Artificial Angel – Recursive Symbolic AI and Bio Memory

github.com/Mattbusel

a year ago

2 points

58.

Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI

github.com/Chimera-Protocol

4 months ago

2 points

59.

Show HN: NeatShift – A Modern Windows File Organizer with Symbolic Link Support

github.com/BytexGrid

a year ago

2 points

60.

A purely symbolic gesture [Scheme]

github.com/JeffBezanson

11 years ago

2 points