Search: github.com/Sympol | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

KLEE Symbolic Execution Engine

github.com/klee

2 years ago

88 points

62.

Solving a physics problem symbolically with C#

gist.github.com

11 years ago

87 points

63.

Show HN: Mathpad – Physical keypad for typing math symbols

crowdsupply.com

a year ago

78 points

64.

Symbolic Exploit Assistant (SEA)

github.com/neuromancer

13 years ago

73 points

65.

Weather in your terminal, with ANSI colors and Unicode symbols

github.com/fcambus

10 years ago

66 points

66.

Myna: monospace typeface designed for symbol-rich programming

github.com/sayyadirfanali

8 months ago

52 points

67.

Quicklisp: On Beyond Beta, Talk at European Lisp Symposium 2015

github.com/quicklisp

11 years ago

43 points

68.

Show HN: Sfsym – Export Apple SF Symbols as Vector SVG/PDF/PNG

github.com/yapstudios

2 months ago

29 points

69.

Show HN: SymDerive – A functional, stateless symbolic math library

5 months ago

26 points

70.

Show HN: Kotlin∇: Shape-Safe Symbolic Differentiation with Algebraic Data Types

github.com/breandan

5 years ago

15 points

71.

Show HN: NeatShift – Organize Windows files with symbolic links

github.com/BytexGrid

a year ago

13 points

72.

Hybrid Concrete/Symbolic Testing

gist.github.com

4 years ago

13 points

73.

Show HN: FSST – Fast Static Symbol Table Compression Library in Go

github.com/axiomhq

9 months ago

13 points

74.

Show HN: A Browser-Only Dream Interpreter Using Symbol Logic and JavaScript

github.com/Dino-Nuggies45

a year ago

12 points

75.

Symbolic Computer algebra systems/libraries

github.com/topics

2 years ago

12 points

76.

I beat Grok 4 on ARC-AGI-2 using a CPU-only symbolic engine (18.1% score)

github.com/Ag3497120

4 months ago

11 points

77.

Facebook's iOS crash symbolization tool for Linux

github.com/facebook

13 years ago

11 points

78.

Facebook Fishhook: dynamically rebind symbols in iOS binaries

github.com/facebook

13 years ago

9 points

79.

Show HN: Ejimo – open-source emoji and symbol picker (desktop app)

github.com/albemala

5 years ago

7 points

80.

Seer: Symbolic Execution Engine for Rust

github.com/dwrensha

9 years ago

7 points

81.

Show HN: Dress: add symbols back into a stripped ELF binary (~strip)

github.com/docileninja

9 years ago

6 points

82.

Solving a basic college-physics problem symbolically with C#

gist.github.com

11 years ago

6 points

83.

Neurosymbolic AI server combining Prolog's symbolic reasoning with MCP

github.com/adamrybinski

8 months ago

6 points

84.

BinSym: Symbolic execution for RISC-V machine code based on LibRISCV ISA model

github.com/agra-uni-bremen

2 years ago

6 points

85.

Loop_tool tutorial – a lazy symbolic linear algebra toolkit

github.com/facebookresearch

5 years ago

6 points

86.

Javascript Genetic Programming Wizard for Symbolic Regression

github.com/zekenie

13 years ago

5 points

87.

Maat: Open-Source Dynamic Symbolic Execution and Binary Analysis Framework

github.com/trailofbits

4 years ago

5 points

88.

Show HN: Project Chimera – Hybrid AI Agent Combining LLM, Symbolic, and Causal

github.com/akarlaraytu

9 months ago

4 points

89.

Show HN: MuSE - Markup using Symbolic Expressions. What do you think?

github.com/draq

14 years ago

4 points

90.

EdgeSense – replacing neural nets on microcontrollers with symbolic physics

github.com/Kretski

2 months ago

4 points