Search: github.com/REAS | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

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

1 point

6 years ago

32.

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

1 point

7 years ago

33.

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

1 point

8 years ago

34.

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

1 point

8 years ago

35.

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

1 point

8 years ago

36.

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

1 point

8 years ago

37.

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

1 point

9 years ago

38.

Reasonable Scala Compiler (github.com/twitter)

1 point

9 years ago

39.

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

1 point

9 years ago

40.

The Lotus program analysis framework

2 points

7 months ago

41.

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

2 points

a year ago

42.

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

1 point

3 months ago

43.

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

1 point

3 months ago

44.

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

1 point

marcosomma-orka

a year ago

45.

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

46.

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

17 points

2 years ago

47.

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

48.

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

2 points

3 months ago

49.

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

2 points

21 days ago

50.

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

2 points

a year ago

51.

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

2 points

a year ago

52.

Awesome ReasonML (github.com/vramana)

2 points

9 years ago

53.

Beyond All Reason (github.com)

1 point

2 months ago

54.

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

1 point

6 months ago

55.

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

1 point

10 months ago

56.

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

1 point

10 months ago

57.

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

1 point

a year ago

58.

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

1 point

6 years ago

59.

Robot on Table Simulator – Java (github.com/Rob-Leggett)

1 point

9 years ago

60.

Emerging reasoning with reinforcement learning (hkust-nlp.notion.site)

248 points

a year ago