Search: github.com/rijs | Heykuki News

HK

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

3 years ago

134 points

32.

Show HN: MCP-Shield – Detect security issues in MCP servers

github.com/riseandignite

a year ago

134 points

33.

Show HN: v8-riscv — Port of JavaScript V8 engine to RISC-V

github.com/v8-riscv

5 years ago

123 points

34.

F# RISC-V Instruction Set Formal Specification

github.com/mrLSD

7 years ago

122 points

35.

RISC-V formal spec public review

github.com/riscv

7 years ago

116 points

36.

RISC-V Software Ecosystem Overview

github.com/riscv

6 years ago

83 points

37.

RISC-V Scalar Cryptography Extension reaches public review

github.com/riscv

5 years ago

78 points

38.

RisingWave: An Open‑Source Stream‑Processing and Management Platform

github.com/risingwavelabs

a year ago

66 points

39.

Risk-First Software Development

github.com/risk-first

8 years ago

64 points

40.

ML enhancement of extremely low light imagery

github.com/Rishit-dagli

5 years ago

45 points

41.

Demos of Stream Processing Solving Real-World Problems

github.com/risingwavelabs

a year ago

45 points

42.

Zero knowledge proofs in RISC-V

github.com/risc0

4 years ago

39 points

43.

I Implemented Transformer in Transformer

github.com/Rishit-dagli

5 years ago

37 points

44.

I Implemented Nyströmformer

github.com/Rishit-dagli

4 years ago

37 points

45.

Show HN: RISC-V disassembler in 200 lines of C

github.com/andportnoy

6 years ago

29 points

46.

Show HN: Await-Tree – Visualize Async Rust Task Execution in Real-Time

github.com/risingwavelabs

a year ago

28 points

47.

Zirgen: Compiler for a Domain-Specific Language

github.com/risc0

5 months ago

21 points

48.

Show HN: Risotto compiles JSX using Golang

github.com/mamaar

11 years ago

19 points

49.

RISC-V Server Platform Spec Ratified

github.com/riscv-non-isa

a month ago

17 points

50.

github.com/risc0

2 years ago

16 points

51.

Modern alternative to Apache Flink: stream processing with PostgreSQL experience

github.com/risingwavelabs

3 years ago

15 points

52.

Software Projects Fail: The Software Development Risk Landscape

github.com/risk-first

7 years ago

12 points

53.

I Implemented Fastformer: Additive Attention

github.com/Rishit-dagli

4 years ago

10 points

54.

Show HN: Revolutionary parametric 3D printable magnetic key switches and stabs

github.com/riskable

4 years ago

8 points

55.

Show HN: RISCY-V02: A 16-bit 2-cycle RISC-V-ish CPU in the 6502 footprint

github.com/mysterymath

4 months ago

7 points

56.

Show HN: #AlphanumericShellcoding, alphanumeric shellcodes on RISC-V [DEFCON'27]

github.com/RischardV

7 years ago

7 points

57.

Rust-accelerated reinforcement learning, 140x faster than Python

github.com/riserally

3 months ago

7 points

58.

RiskReady-open-source GRC platform with MCP gateway and human-approved mutations

github.com/riskreadyeu

3 months ago

6 points

59.

Risingwave: Redefining Stream Processing

github.com/risingwavelabs

3 years ago

6 points

60.

Grafog – Graph Data Augmentation Library for PyTorch Geometric

github.com/rish-16

4 years ago

6 points