Search: github.com/rbas | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Reasoning Core: A Scalable RL Environment for LLM Symbolic Reasoning (github.com/sileod)

1 point

8 months ago

32.

Open Reasoner Zero (github.com/Open-Reasoner-Zero)

1 point

a year ago

33.

Scraping and crawling websites using Rust and ReasonML (github.com/alfinsuryaS)

1 point

6 years ago

34.

Conservation of software-based artworks (2016) (github.com/REAS)

1 point

7 years ago

35.

Type-safe Universal Application (github.com/revskill10)

1 point

8 years ago

36.

ReasonML: Syntax proposal: async/await (github.com/facebook)

1 point

8 years ago

37.

Common compiler back end: Lightbend scalac, EPFL Dotty, Twitter reasonable-scala (github.com/twitter)

1 point

8 years ago

38.

ReasonablyTyped – Convert TypeScript and Flow Definitions to ReasonML Interfaces (github.com/ReasonablyTyped)

1 point

8 years ago

39.

Reason Syntax Proposal: Hash Tags–a way to think about polymorphic variants (github.com/facebook)

1 point

9 years ago

40.

Reasonable Scala Compiler (github.com/twitter)

1 point

9 years ago

41.

Reasonable Scala – A New Scala Compiler from Twitter (github.com/twitter)

1 point

9 years ago

42.

The Lotus program analysis framework

2 points

7 months ago

43.

Show HN: Ghashboard is a dashboard builder for GitHub Actions (github.com/fileformat)

2 points

a year ago

44.

Show HN: Vector databases are the wrong primitive for AI agents (github.com/brainfish-ai)

1 point

3 months ago

45.

Show HN: A Write Barrier That Blocks Structural Collapse in LLM Reasoning

1 point

3 months ago

46.

I built orKa-reasoning: a modular orchestration layer for explainable AI agents

1 point

marcosomma-orka

a year ago

47.

Beyond All Reason – open-source RTS game built on top of the Recoil RTS Engine (github.com/beyond-all-reason)

18 points

a year ago

48.

GitHub: Awesome-reasoning, a curated list of datasets for reasoning AIs (github.com/neurallambda)

17 points

2 years ago

49.

Beyond All Reason: open-source RTS game built on top of the Spring RTS Engine (github.com/beyond-all-reason)

10 points

4 years ago

50.

Persistent Reasoning Hieroglyphic Calculator (Academic Boundary Case) (github.com/PersistentVlad)

2 points

3 months ago

51.

LLM temporal and causal reasoning research (github.com/krellixlabs)

2 points

21 days ago

52.

Agentic Reasoning: Reasoning LLM with Agentic Tools (github.com/theworldofagents)

2 points

a year ago

53.

Show HN: LLM-Reasoner:Make any LLM to think deeper like OpenAI o1 (github.com/harishsg993010)

2 points

a year ago

54.

Awesome ReasonML (github.com/vramana)

2 points

9 years ago

55.

Beyond All Reason (github.com)

1 point

2 months ago

56.

Show HN: Minimal reasoning determinism stress test (no claims) (github.com/seesea500-Hyb)

1 point

6 months ago

57.

Procedural Reasoning Datasets (github.com/open-thought)

1 point

10 months ago

58.

Reasoning Gym – Procedural RL reasoning datasets (github.com/open-thought)

1 point

10 months ago

59.

Reasoning Gym: Procedural Dataset Generation for Reinforcement Learning (github.com/open-thought)

1 point

a year ago

60.

Fullstack Reason–native-compiled server and ReasonReact client and code sharing (github.com/yawaramin)

1 point

6 years ago