Search: github.com/symblai | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

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

6 points

2 years ago

92.

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

6 points

5 years ago

93.

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

5 points

13 years ago

94.

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

5 points

4 years ago

95.

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

4 points

9 months ago

96.

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

4 points

14 years ago

97.

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

4 points

2 months ago

98.

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

4 points

2 years ago

99.

Show HN: Ln2by – creating symlinks has never been so much fun (github.com/umlet)

4 points

5 years ago

100.

6502 created using nMigen and Symbiyosis (github.com/mmagm)

4 points

5 years ago

101.

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

4 points

8 years ago

102.

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

3 points

a year ago

103.

PSD: Symlinks browser profiles to RAM reducing HDD calls, speeding-up browsers (github.com/graysky2)

3 points

a year ago

104.

S60Maps [Maps for Symbian S60] release 1.16.1 (github.com/artem78)

3 points

8 months ago

105.

Blender for Symbian OS (github.com/Dante-Leoncini)

3 points

2 years ago

106.

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

3 points

15 days ago

107.

Tuckr – Stow alternative with symlink checking (github.com/RaphGL)

3 points

7 months ago

108.

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

3 points

a year ago

109.

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

3 points

a year ago

110.

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

3 points

a year ago

111.

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

3 points

2 years ago

112.

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

3 points

5 years ago

113.

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

3 points

7 years ago

114.

Show HN: Swap Files or Directories Using Symlinks. Atomically. Partly (github.com/mrothNET)

3 points

7 years ago

115.

Golang's filepath is broken for symlinks (github.com/golang)

3 points

8 years ago

116.

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

3 points

9 years ago

117.

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

3 points

9 years ago

118.

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

3 points

9 years ago

119.

Show HN: WML – An alternative to symlink, copies changes from src to dst folder (github.com/wix)

3 points

9 years ago

120.

Show HN: Flinck, organize your movie collection using symlinks (github.com/Kraymer)

3 points

10 years ago