Search: github.com/Scthe | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

A machine-verified formalization of Advaita Vedānta in Isabelle/HOL (github.com/matthew-scherf)

3 points

8 months ago

62.

Include markdown files into other markdown files with C style syntax (github.com/sethen)

3 points

9 years ago

63.

Scherlok – zero-config data quality monitoring, works with dbt (github.com/rbmuller)

3 points

22 days ago

64.

Show HN: A small R5RS-ish Scheme interpreter with call/cc (github.com/menezesd)

3 points

5 months ago

65.

SchemaPin prevents "MCP Rug Pull" attacks (github.com/ThirdKeyAI)

3 points

a year ago

66.

Slurm: Open-source cluster resource management and job scheduling system (github.com/SchedMD)

3 points

2 years ago

67.

Schema validation just got Pythonic (github.com/halst)

3 points

14 years ago

68.

Generate accessible static websites for SEO from structured data with Astro (github.com/greynewell)

3 points

a year ago

69.

Schedule-X: JavaScript event calendar. Modern alternative to Fullcalendar (github.com/schedule-x)

3 points

2 years ago

70.

Sched_ext: Dynamically loaded thread schedulers for Linux via BPF (github.com/sched-ext)

3 points

2 years ago

71.

Scheme Interpreter Written in PowerShell (github.com/naens)

3 points

7 years ago

72.

SchemaCrawler: Free database schema discovery and comprehension tool (github.com/sualeh)

3 points

9 years ago

73.

Useful tools for dealing with deeply nested JSON (github.com)

3 points

10 years ago

74.

Show HN: MCP for browsing, searching, exporting, backing up Cursor chat history (github.com/S2thend)

2 points

5 months ago

75.

SchemaVault DB Version Control (github.com/EvanPaules)

2 points

13 days ago

76.

Show HN: Schelling Protocol – Where AI agents coordinate on behalf of humans (github.com/codyz123)

2 points

3 months ago

77.

Sched_ext Schedulers and Tools (github.com/sched-ext)

2 points

2 years ago

78.

Show HN: Schema – A Golang Validation Library Inspired by Zod (github.com/mkafonso)

2 points

2 years ago

79.

Schema – Infer, Translate Between GraphQL, JSON, YAML, TOML, XML (github.com/Confbase)

2 points

6 years ago

80.

Show HN: Schedoscope – agile development, testing, (re)loading of you Hadoop DWH (github.com/ottogroup)

2 points

11 years ago

81.

Flexible Node.js Job Scheduler (github.com/node-schedule)

2 points

11 years ago

82.

Flexible Node.js Job Scheduler (github.com/node-schedule)

2 points

11 years ago

83.

Node-schedule (flexible job scheduler) (github.com/node-schedule)

2 points

11 years ago

84.

Rails Schema to Scaffold (github.com/frenesim)

2 points

12 years ago

85.

Show HN: Platform for testing JSON-based RESTful API resources and schema (github.com/picleslivre)

2 points

12 years ago

86.

Scsh, a unix shell embedded in Scheme (github.com/scheme)

2 points

13 years ago

87.

Visual Schemer: scheme interpreter with semantic visualisations (github.com/bebebebebe)

2 points

13 years ago

88.

Python job scheduling for humans. (github.com/dbader)

2 points

13 years ago

89.

Schemongo for Clojure: Practice safe mongo (github.com/adambard)

2 points

14 years ago

90.

MetaLLM – Metasploit-inspired AI/ML security testing framework (github.com/scthornton)

2 points

2 months ago