Search: github.com/StanfordVL | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Show HN: Agent-to-code JIT compiler for Z3-theorem-proving agents

github.com/stanford-mast

7 months ago

6 points

32.

A1: Agents-to-Code JIT Compiler

github.com/stanford-mast

7 months ago

5 points

33.

STaRK: Benchmarking LLM Retrieval on Textual and Relational Knowledge Bases

github.com/snap-stanford

2 years ago

5 points

34.

An Open Source Demonstration Using LLMs to Explain Health Records

github.com/StanfordBDHG

3 years ago

4 points

35.

Course materials for Stanford CS240h, "Functional Systems in Haskell" on Github

15 years ago

4 points

36.

Compile on AWS lambda when using a slow local machine

github.com/StanfordSNR

6 years ago

4 points

37.

Stanford Super VIP Cheatsheet: Machine Learning [pdf]

github.com/afshinea

7 years ago

4 points

38.

VIP Cheatsheets for Stanford's CS 230 Deep Learning

github.com/afshinea

8 years ago

4 points

39.

Show HN: A1 – compiler for AI agents into maximally deterministic code

github.com/stanford-mast

6 months ago

3 points

40.

Show HN: CS43 – Functional Programming Paradigms

github.com/stanfordhaskell

7 years ago

3 points

41.

Guardian Agent: secure agent forwarding for Mosh or SSH

github.com/StanfordSNR

9 years ago

3 points

42.

LZR detects and fingerprints unexpected services running on unexpected ports

github.com/stanford-esrg

3 years ago

3 points

43.

The Foundation Model Transparency Index

github.com/stanford-crfm

3 years ago

3 points

44.

HealthGPT – Query your Apple Health data with natural language

github.com/StanfordBDHG

3 years ago

3 points

45.

Guardian Agent: secure SSH-agent forwarding for Mosh and SSH

github.com/StanfordSNR

6 years ago

3 points

46.

Stanford Super VIP Cheatsheet: Deep Learning [pdf]

github.com/afshinea

7 years ago

3 points

47.

Machine Learning Cheatsheets for Stanford's CS 229

github.com/afshinea

8 years ago

3 points

48.

Machine Learning Cheatsheets for Stanford's CS 229

github.com/afshinea

8 years ago

3 points

49.

Fast Robot Kinematics and Dynamics in Jax

github.com/StanfordASL

a month ago

2 points

50.

Show HN: A1 – cost-optimizing JIT for CRUD AI agent translation to code

github.com/stanford-mast

6 months ago

2 points

51.

JIT Compiling AI Agents to Code

github.com/stanford-mast

7 months ago

2 points

52.

A1: Agent-to-Code JIT Compiler

github.com/stanford-mast

7 months ago

2 points

53.

Levanter: Scalable, Reproducible Foundation Models with Named Tensors and Jax

github.com/stanford-crfm

2 years ago

2 points

54.

Guardian Agent: secure agent forwarding for Mosh or SSH

github.com/StanfordSNR

2 years ago

2 points

55.

SUQL: Conversational Search over Structured and Unstructured Data with LLMs

github.com/stanford-oval

2 years ago

2 points

56.

Haliax: Named Tensors for Legible Deep Learning in Jax

github.com/stanford-crfm

3 years ago

2 points

57.

MLAgentBench: Build ML models via GPT-4, Claude 1, etc.

github.com/snap-stanford

3 years ago

2 points

58.

Serial Attached SCSI (SAS) Linux Utilities and Python Library

github.com/stanford-rc

3 years ago

2 points

59.

Gg – The Stanford Builder

github.com/StanfordSNR

5 years ago

2 points

60.

Guardian Agent (secure ssh-agent forwarding for Mosh and SSH)

github.com/StanfordSNR

7 years ago

2 points