Search: github.com/symblai | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

A Neuro-Symbolic engine that autonomously verified the GCT barrier in Lean 4

github.com/MyceliaCognition

2 months ago

2 points

92.

Show HN: Managing dotfiles without complex tools – just symlinks and Makefiles

github.com/Thysrael

4 months ago

2 points

93.

MCP-Zero Zeta Playground Symbolic Whitebox AGI Foundation (Offline, Open Source)

github.com/GlobalSushrut

a year ago

2 points

94.

Solve Global Lyapunov functions with symbolic transformers

github.com/facebookresearch

2 years ago

2 points

95.

Confer: The symbolic links manager for your configuration files

github.com/tchoutri

2 years ago

2 points

96.

Git RCE affects recursive clones on case-insensitive filesystems with symlinks

2 years ago

2 points

97.

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

github.com/MusicLang

2 years ago

2 points

98.

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

github.com/csvl

2 years ago

2 points

99.

Miraicat-Kernel: Symbian OS Kernel

github.com/squaklabs

4 years ago

2 points

100.

SymReg: A Python Symbolic Regression Engine

github.com/danuker

5 years ago

2 points

101.

Microsoft's Symbolic Plan

gist.github.com

15 years ago

2 points

102.

Sym: A Mathematica package for generating symbolic models from data

github.com/paulknysh

8 years ago

2 points

103.

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

github.com/trailofbits

8 years ago

2 points

104.

Symbolic regression: derive an expression from data

github.com/JonyEpsilon

9 years ago

2 points

105.

Symbolically Expressed Lambdas

github.com/dzautner

9 years ago

2 points

106.

A Mathematica package for parallel symbolic regression using Monte Carlo

github.com/paulknysh

10 years ago

2 points

107.

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

github.com/TristenHarr

a year ago

1 points

108.

Building a symbolic math REPL in C

github.com/marcomit

3 months ago

1 points

109.

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

github.com/xcontcom

a year ago

1 points

110.

Neuro Symbolic AI with Quarkus and Drools

github.com/andrearaponi

a year ago

1 points

111.

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

github.com/globalhawk04

7 months ago

1 points

112.

Reasoning Core: A Scalable RL Environment for LLM Symbolic Reasoning

github.com/sileod

9 months ago

1 points

113.

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

github.com/CarlosStx99

a year ago

1 points

114.

An Impossible Blueprint for a Symbiotic Truth Engine

a year ago

1 points

115.

Built a Symbolic System to Control and Audit GPT Interactions

a year ago

1 points

116.

Plasma: Personal Linguistic Architecture for Symbiotic Morphogenetic Adaptation

github.com/nabolitains

a year ago

1 points

117.

SEninja: Symbolic execution plugin for Binary Ninja

github.com/borzacchiello

a year ago

1 points

118.

Whisk 3D – an open-source 3D modeling software for Symbian S60v3

github.com/Dante-Leoncini

2 years ago

1 points

119.

Holis: A vector-symbolic implementation of a Lisp interpreter

github.com/eilene-ftf

2 years ago

1 points

120.

Bluetooth tethering of Symbian S60v3 phones in Debian 11

github.com/fizolas

4 years ago

1 points