Search: github.com/Sympol | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

SymCalc-Ruby: Symbolic mathematics and calculus in Ruby

github.com/symcalc

2 years ago

4 points

92.

Show HN: Symbolic Math in Ruby

gist.github.com

8 years ago

4 points

93.

Show HN: Myna - monospace typeface for symbol-heavy programming languages

github.com/sayyadirfanali

8 months ago

3 points

94.

NotaGen: Advancing Musicality in Symbolic Music Generation with LLM Training

github.com/ElectricAlexis

a year ago

3 points

95.

Show HN: Android's emoji symbols as single PNG images

github.com/delight-im

12 years ago

3 points

96.

Show HN: Wirewright, an experimental symbolic physics environment

github.com/wirewright

18 hours ago

3 points

97.

My symbolic regression engine rediscovered Kepler's Third Law from raw data

github.com/ariel95500-create

a day ago

3 points

98.

Apalache: Symbolic model checker for TLA+ and Quint

github.com/apalache-mc

a month ago

3 points

99.

Show HN: Symfreq – Analyse symbol frequencies in code (Rust)

github.com/vaskort

5 months ago

3 points

100.

Myna: Monospace typeface designed for symbol-heavy programming languages

github.com/sayyadirfanali

8 months ago

3 points

101.

SEninja: Symbolic execution plugin for Binary Ninja

github.com/borzacchiello

a year ago

3 points

102.

torchhd: Hyperdimensional Computing and Vector Symbolic Architectures in PyTorch

github.com/hyperdimensional-computing

a year ago

3 points

103.

Show HN: Adventures in Math with Symbolic Programming (SymPy, Python)

github.com/lascauje

2 years ago

3 points

104.

DeepState – common interface to symbolic execution and fuzzing engines

github.com/trailofbits

5 years ago

3 points

105.

haybale: Symbolic Execution Engine for LLVM IR, written in Rust

github.com/PLSysSec

7 years ago

3 points

106.

Current Set of Azure Symbols, Color and Mono, SVG and PNG and PlantUML and PPTX

github.com/RicardoNiepel

7 years ago

3 points

107.

A Mathematica package for generating symbolic models from data

github.com/paulknysh

9 years ago

3 points

108.

A Mathematica package for generating symbolic models from data

github.com/paulknysh

9 years ago

3 points

109.

Compiler for a thin Symbolic Expressions abstraction layer over Lambda calculus

github.com/dzautner

9 years ago

3 points

110.

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

10 years ago

3 points

111.

Symbolic math package in scala

github.com/cascala

10 years ago

3 points

112.

Theano – library for GPU based efficient symbolic differentiation

github.com/Theano

11 years ago

3 points

113.

Angelcore: Building an Artificial Angel – Recursive Symbolic AI and Bio Memory

github.com/Mattbusel

a year ago

2 points

114.

Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI

github.com/Chimera-Protocol

4 months ago

2 points

115.

Show HN: Tough mathematical symbols to lovely code (v0.1)

github.com/mkagenius

10 years ago

2 points

116.

Show HN: How we got the POWER SYMBOL accepted into Unicode in 60 days

github.com/jloughry

12 years ago

2 points

117.

Show HN: NeatShift – A Modern Windows File Organizer with Symbolic Link Support

github.com/BytexGrid

a year ago

2 points

118.

A purely symbolic gesture [Scheme]

github.com/JeffBezanson

11 years ago

2 points

119.

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

github.com/akarlaraytu

9 months ago

2 points

120.

Gymbo: Gradient-Based Symbolic Execution

github.com/Koukyosyumei

3 years ago

2 points