Search: github.com/symblic | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Show HN: Project Chimera v1.2 – Neuro-Symbolic-Causal AI Agent – OpenSource Demo

github.com/akarlaraytu

9 months ago

1 points

92.

Building a symbolic math REPL in C

github.com/marcomit

3 months ago

1 points

93.

What's the best way to benchmark neuro‑symbolic‑causal AI agents?

github.com/akarlaraytu

9 months ago

1 points

94.

Billiard Fractals from floor(k·√2) mod 2 – visualizing symbolic sequences

github.com/xcontcom

a year ago

1 points

95.

Neuro Symbolic AI with Quarkus and Drools

github.com/andrearaponi

a year ago

1 points

96.

Symbolic math scripting with Java JShell

github.com/axkr

8 years ago

1 points

97.

LaTeX: dataref -- reference symbolic data points

github.com/stettberger

12 years ago

1 points

98.

Show HN: I just shipped the canonical neuro-symbolic control demo

github.com/anulum

4 months ago

1 points

99.

Show HN: A neuro-symbolic manufacturing engine built in 1 week with Gemini 3.0

github.com/globalhawk04

7 months ago

1 points

100.

Reasoning Core: A Scalable RL Environment for LLM Symbolic Reasoning

github.com/sileod

9 months ago

1 points

101.

Show HN: symtree - Mirrored Folder Structure with Symbolic Linked Files

github.com/kaelspencer

14 years ago

1 points

102.

Show HN: EIRA-KEM – a symbolic post-quantum KEM for academic testing

github.com/CarlosStx99

a year ago

1 points

103.

Built a Symbolic System to Control and Audit GPT Interactions

a year ago

1 points

104.

SEninja: Symbolic execution plugin for Binary Ninja

github.com/borzacchiello

a year ago

1 points

105.

Holis: A vector-symbolic implementation of a Lisp interpreter

github.com/eilene-ftf

2 years ago

1 points

106.

Git 2.32.0: .gitignore files that are symbolic links are ignored

5 years ago

1 points

107.

Clj-maxima, symbolic algebra on Clojure using maxima and Common Lisp

github.com/lsevero

5 years ago

1 points

108.

Show HN: A Neural Symbolic Reasoning Method on Knowledge Graph

github.com/derenlei

6 years ago

1 points

109.

Show HN: ExpoSE, a dynamic symbolic execution engine for modern JavaScript

github.com/ExpoSEJS

6 years ago

1 points

110.

PLSysSec/haybale: Symbolic execution of LLVM IR with an engine written in Rust

github.com/PLSysSec

6 years ago

1 points

111.

SymJAX: Symbolic CPU/GPU/TPU Programming

github.com/RandallBalestriero

6 years ago

1 points

112.

Sspam: Symbolic Simplification with PAttern Matching (2017)

github.com/quarkslab

6 years ago

1 points

113.

Sym: A Mathematica package for generating symbolic models from data

github.com/paulknysh

7 years ago

1 points

114.

DeepState: Symbolic Unit Testing for C and C++

github.com/trailofbits

8 years ago

1 points

115.

Recreational Rosette - Solving problems with symbolic execution

github.com/Hardmath123

9 years ago

1 points

116.

A Mathematica package for generating symbolic models from data

github.com/paulknysh

9 years ago

1 points

117.

Solving a laws of motion problem symbolically with C#

gist.github.com

11 years ago

1 points

118.

Show HN: LLMs can generate valid JSON 100% of the time

github.com/normal-computing

3 years ago

854 points

119.

Show HN: Talk to any ArXiv paper just by changing the URL

github.com/evanhu1

3 years ago

194 points

120.

Show HN: Material Files – Open Source Material Design File Manager for Android

github.com/zhanghai

2 years ago

163 points