Search: github.com/Symbitic | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Sym: A Mathematica package for generating symbolic models from data

github.com/paulknysh

7 years ago

1 points

122.

DeepState: Symbolic Unit Testing for C and C++

github.com/trailofbits

8 years ago

1 points

123.

Recreational Rosette - Solving problems with symbolic execution

github.com/Hardmath123

9 years ago

1 points

124.

A Mathematica package for generating symbolic models from data

github.com/paulknysh

9 years ago

1 points

125.

Solving a laws of motion problem symbolically with C#

gist.github.com

11 years ago

1 points

126.

Show HN: LLMs can generate valid JSON 100% of the time

github.com/normal-computing

3 years ago

854 points

127.

Show HN: Talk to any ArXiv paper just by changing the URL

github.com/evanhu1

3 years ago

194 points

128.

Show HN: Material Files – Open Source Material Design File Manager for Android

github.com/zhanghai

2 years ago

163 points

129.

Show HN: VirtualStorageLibrary – .NET Tree solutions for items, dirs, symlinks

shimodateakira.github.io

2 years ago

63 points

130.

Yon – a topos-oriented language with a content-addressed lattice heap

18 days ago

48 points

131.

Show HN: I built a deep learning engine from scratch in Python

github.com/whitegra

a year ago

30 points

132.

Ask HN: Is an interdisciplinary career worth it?

8 years ago

28 points

133.

Show HN: Vidformer – Drop-In Acceleration for Cv2 Video Annotation Scripts

github.com/ixlab

a year ago

25 points

134.

Show HN: Atomic Database: A deductive database with a natural language interface

7 years ago

12 points

135.

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

github.com/Dino-Nuggies45

a year ago

12 points

136.

Show HN: Build agents via YAML with Prolog validation and 110 built-in tools

fabceolin.github.io

5 months ago

11 points

137.

Show HN: I built a dream interpreter in JavaScript, no AI, no server, just logic

github.com/Dino-Nuggies45

a year ago

10 points

138.

Show HN: TheorIA – An Open Curated Physics Dataset (Equations,Explanations,JSON)

theoria-dataset.github.io

a year ago

9 points

139.

Show HN: DeepClause – A Neurosymbolic AI System Built on WASM and Prolog

github.com/deepclause

7 months ago

7 points

140.

Do Not Train" Meta Tags: The Robots.txt of AI – Will Anyone Respect Them?

a year ago

5 points

141.

Show HN: Anchor Engine – Deterministic Semantic Memory for LLMs Local (<3GB RAM)

github.com/RSBalchII

4 months ago

5 points

142.

Show HN: A Vaadin Algebra and Calculus Solver Built with AI Assistance

4 months ago

4 points

143.

Show HN: An opensource tool for assisted exploit generation on binary programs

13 years ago

4 points

144.

Show HN: I made a browser extension to practice phonetic scripts (like katakana)

github.com/scpedicini

7 months ago

3 points

145.

Show HN: A Geometric Algebra NN Framework (100% on 13-hop reasoning)

github.com/Concode0

3 months ago

3 points

146.

Show HN: I built an AI Colosseum to battle-test different agent architectures

project-chimera.streamlit.app

9 months ago

3 points

147.

Show HN: I made a semantic OS for language reasoning (not kidding)

github.com/onestardao

a year ago

3 points

148.

MatrixTransformer: Structural Pattern Discovery Without Training

a year ago

AyodeleFikayomi

3 points

149.

New Open Source from Non-Traditional Builder

3 months ago

2 points

150.

Show HN: Elia – Governed hybrid architecture (LLM is capability, not authority)

github.com/Jmc-arch

4 months ago

2 points