Search: github.com/symblai | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Show HN: MusicLang – a controllable model for symbolic music gen (LLAMA2)

github.com/MusicLang

2 years ago

2 points

152.

Show HN: SEMA (Symbolic Execution for Malware Analysis/Detection Using Angr)

github.com/csvl

2 years ago

2 points

153.

Mathematical Symbolic Differentiation in Guile Scheme

gist.github.com

3 years ago

2 points

154.

Miraicat-Kernel: Symbian OS Kernel

github.com/squaklabs

4 years ago

2 points

155.

S60Maps – Yet another maps for Symbian OS

github.com/artem78

5 years ago

2 points

156.

SymReg: A Python Symbolic Regression Engine

github.com/danuker

6 years ago

2 points

157.

Bloom – a tetris-clone for Symbian OS using PyS60

github.com/cr8ivecodesmith

6 years ago

2 points

158.

GPS track recorder for Symbian OS (console version)

github.com/artem78

6 years ago

2 points

159.

Show HN: Symlink Creator and Manager

github.com/madprops

7 years ago

2 points

160.

Microsoft's Symbolic Plan

gist.github.com

15 years ago

2 points

161.

Sym: A Mathematica package for generating symbolic models from data

github.com/paulknysh

8 years ago

2 points

162.

Sym: A Mathematica package for generating symbolic models from data

github.com/paulknysh

8 years ago

2 points

163.

DeepState augments C/C++ test-driven development with symbolic execution

github.com/trailofbits

8 years ago

2 points

164.

Symbolic regression: derive an expression from data

github.com/JonyEpsilon

9 years ago

2 points

165.

Symbolically Expressed Lambdas

github.com/dzautner

9 years ago

2 points

166.

A Mathematica package for parallel symbolic regression using Monte Carlo

github.com/paulknysh

10 years ago

2 points

167.

MPL – Computer Algebra and Symbolic Computation for R6RS Scheme

github.com/dharmatech

10 years ago

2 points

168.

The K-Metallic Mirror: An Algebraic System and Its Foundational Symbolic Proofs

github.com/TristenHarr

a year ago

1 points

169.

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

github.com/akarlaraytu

9 months ago

1 points

170.

Building a symbolic math REPL in C

github.com/marcomit

3 months ago

1 points

171.

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

github.com/akarlaraytu

9 months ago

1 points

172.

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

github.com/xcontcom

a year ago

1 points

173.

Neuro Symbolic AI with Quarkus and Drools

github.com/andrearaponi

a year ago

1 points

174.

Symbolic math scripting with Java JShell

github.com/axkr

8 years ago

1 points

175.

LaTeX: dataref -- reference symbolic data points

github.com/stettberger

12 years ago

1 points

176.

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

github.com/anulum

4 months ago

1 points

177.

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

github.com/globalhawk04

7 months ago

1 points

178.

Reasoning Core: A Scalable RL Environment for LLM Symbolic Reasoning

github.com/sileod

9 months ago

1 points

179.

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

github.com/kaelspencer

14 years ago

1 points

180.

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

github.com/CarlosStx99

a year ago

1 points