Search: github.com/Sympol | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Symbolic Exploit Assistant (SEA) (github.com/neuromancer)

73 points

13 years ago

62.

Weather in your terminal, with ANSI colors and Unicode symbols (github.com/fcambus)

66 points

10 years ago

63.

Myna: monospace typeface designed for symbol-rich programming (github.com/sayyadirfanali)

52 points

7 months ago

64.

Quicklisp: On Beyond Beta, Talk at European Lisp Symposium 2015 (github.com/quicklisp)

43 points

11 years ago

65.

Show HN: Sfsym – Export Apple SF Symbols as Vector SVG/PDF/PNG (github.com/yapstudios)

29 points

2 months ago

66.

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

26 points

4 months ago

67.

Show HN: Kotlin∇: Shape-Safe Symbolic Differentiation with Algebraic Data Types (github.com/breandan)

15 points

5 years ago

68.

Show HN: NeatShift – Organize Windows files with symbolic links (github.com/BytexGrid)

13 points

a year ago

69.

Hybrid Concrete/Symbolic Testing (gist.github.com)

13 points

4 years ago

70.

Show HN: FSST – Fast Static Symbol Table Compression Library in Go (github.com/axiomhq)

13 points

8 months ago

71.

Show HN: A Browser-Only Dream Interpreter Using Symbol Logic and JavaScript (github.com/Dino-Nuggies45)

12 points

a year ago

72.

Symbolic Computer algebra systems/libraries (github.com/topics)

12 points

2 years ago

73.

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

11 points

3 months ago

74.

Facebook's iOS crash symbolization tool for Linux (github.com/facebook)

11 points

13 years ago

75.

Facebook Fishhook: dynamically rebind symbols in iOS binaries (github.com/facebook)

9 points

13 years ago

76.

Show HN: Ejimo – open-source emoji and symbol picker (desktop app) (github.com/albemala)

7 points

4 years ago

77.

Seer: Symbolic Execution Engine for Rust (github.com/dwrensha)

7 points

9 years ago

78.

Show HN: Dress: add symbols back into a stripped ELF binary (~strip) (github.com/docileninja)

6 points

9 years ago

79.

Solving a basic college-physics problem symbolically with C# (gist.github.com)

6 points

11 years ago

80.

Neurosymbolic AI server combining Prolog's symbolic reasoning with MCP (github.com/adamrybinski)

6 points

7 months ago

81.

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

6 points

2 years ago

82.

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

6 points

5 years ago

83.

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

5 points

13 years ago

84.

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

5 points

4 years ago

85.

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

4 points

9 months ago

86.

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

4 points

14 years ago

87.

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

4 points

2 months ago

88.

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

4 points

2 years ago

89.

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

4 points

8 years ago

90.

Show HN: Myna - monospace typeface for symbol-heavy programming languages (github.com/sayyadirfanali)

3 points

7 months ago