Search: github.com/Sympol | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

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

3 points

a year ago

92.

Show HN: Android's emoji symbols as single PNG images (github.com/delight-im)

3 points

12 years ago

93.

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

3 points

15 days ago

94.

Show HN: Symfreq – Analyse symbol frequencies in code (Rust) (github.com/vaskort)

3 points

5 months ago

95.

Myna: Monospace typeface designed for symbol-heavy programming languages (github.com/sayyadirfanali)

3 points

7 months ago

96.

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

3 points

a year ago

97.

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

3 points

a year ago

98.

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

3 points

2 years ago

99.

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

3 points

5 years ago

100.

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

3 points

7 years ago

101.

Current Set of Azure Symbols, Color and Mono, SVG and PNG and PlantUML and PPTX (github.com/RicardoNiepel)

3 points

7 years ago

102.

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

3 points

9 years ago

103.

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

3 points

9 years ago

104.

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

3 points

9 years ago

105.

US,China,India,Japan,Germany – github.com traffic by county (alexa.com)

3 points

10 years ago

106.

Symbolic math package in scala (github.com/cascala)

3 points

10 years ago

107.

Theano – library for GPU based efficient symbolic differentiation (github.com/Theano)

3 points

11 years ago

108.

Angelcore: Building an Artificial Angel – Recursive Symbolic AI and Bio Memory (github.com/Mattbusel)

2 points

a year ago

109.

Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI (github.com/Chimera-Protocol)

2 points

4 months ago

110.

Show HN: Tough mathematical symbols to lovely code (v0.1) (github.com/mkagenius)

2 points

10 years ago

111.

Show HN: How we got the POWER SYMBOL accepted into Unicode in 60 days (github.com/jloughry)

2 points

12 years ago

112.

Show HN: NeatShift – A Modern Windows File Organizer with Symbolic Link Support (github.com/BytexGrid)

2 points

a year ago

113.

A purely symbolic gesture [Scheme] (github.com/JeffBezanson)

2 points

11 years ago

114.

Show HN: Project Chimera v1.2 – Neuro-Symbolic-Causal AI Agent (Open Source) (github.com/akarlaraytu)

2 points

9 months ago

115.

Gymbo: Gradient-Based Symbolic Execution (github.com/Koukyosyumei)

2 points

3 years ago

116.

Fexl now uses dynamic symbol lookup. (github.com/chkoreff)

2 points

14 years ago

117.

Unsupervised Learning of Symbolic Node Representations (github.com/smeznar)

2 points

3 years ago

118.

Show HN: A simple and fast Node.js package manager using symbolic link (github.com/beenotung)

2 points

4 years ago

119.

Show HN: PolyCalc. A simple symbolic polynomial calculator (github.com/Zeta611)

2 points

5 years ago

120.

DroneAid: A Symbol Language and ML model for indicating needs to drones, planes (github.com/Code-and-Response)

2 points

6 years ago