Search: github.com/rijs | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

F# RISC-V Instruction Set formal specification (github.com/mrLSD)

134 points

3 years ago

32.

Show HN: MCP-Shield – Detect security issues in MCP servers (github.com/riseandignite)

134 points

a year ago

33.

Show HN: v8-riscv — Port of JavaScript V8 engine to RISC-V (github.com/v8-riscv)

123 points

5 years ago

34.

F# RISC-V Instruction Set Formal Specification (github.com/mrLSD)

122 points

7 years ago

35.

RISC-V formal spec public review (github.com/riscv)

116 points

7 years ago

36.

RISC-V Software Ecosystem Overview (github.com/riscv)

83 points

6 years ago

37.

RISC-V Scalar Cryptography Extension reaches public review (github.com/riscv)

78 points

5 years ago

38.

RisingWave: An Open‑Source Stream‑Processing and Management Platform (github.com/risingwavelabs)

66 points

a year ago

39.

Risk-First Software Development (github.com/risk-first)

64 points

7 years ago

40.

ML enhancement of extremely low light imagery (github.com/Rishit-dagli)

45 points

5 years ago

41.

Demos of Stream Processing Solving Real-World Problems (github.com/risingwavelabs)

45 points

a year ago

42.

Zero knowledge proofs in RISC-V (github.com/risc0)

39 points

4 years ago

43.

I Implemented Transformer in Transformer (github.com/Rishit-dagli)

37 points

5 years ago

44.

I Implemented Nyströmformer (github.com/Rishit-dagli)

37 points

4 years ago

45.

Show HN: RISC-V disassembler in 200 lines of C (github.com/andportnoy)

29 points

6 years ago

46.

Show HN: Await-Tree – Visualize Async Rust Task Execution in Real-Time (github.com/risingwavelabs)

28 points

a year ago

47.

Zirgen: Compiler for a Domain-Specific Language (github.com/risc0)

21 points

5 months ago

48.

Show HN: Risotto compiles JSX using Golang (github.com/mamaar)

19 points

11 years ago

49.

RISC-V Server Platform Spec Ratified (github.com/riscv-non-isa)

17 points

a month ago

50.

RISC Zero (github.com/risc0)

16 points

2 years ago

51.

Modern alternative to Apache Flink: stream processing with PostgreSQL experience (github.com/risingwavelabs)

15 points

3 years ago

52.

Software Projects Fail: The Software Development Risk Landscape (github.com/risk-first)

12 points

7 years ago

53.

I Implemented Fastformer: Additive Attention (github.com/Rishit-dagli)

10 points

4 years ago

54.

Show HN: Revolutionary parametric 3D printable magnetic key switches and stabs (github.com/riskable)

8 points

4 years ago

55.

Show HN: RISCY-V02: A 16-bit 2-cycle RISC-V-ish CPU in the 6502 footprint (github.com/mysterymath)

7 points

3 months ago

56.

Show HN: #AlphanumericShellcoding, alphanumeric shellcodes on RISC-V [DEFCON'27] (github.com/RischardV)

7 points

7 years ago

57.

Rust-accelerated reinforcement learning, 140x faster than Python (github.com/riserally)

7 points

3 months ago

58.

RiskReady-open-source GRC platform with MCP gateway and human-approved mutations (github.com/riskreadyeu)

6 points

2 months ago

59.

Risingwave: Redefining Stream Processing (github.com/risingwavelabs)

6 points

3 years ago

60.

Grafog – Graph Data Augmentation Library for PyTorch Geometric (github.com/rish-16)

6 points

4 years ago