Skip to content
View rayshih's full-sized avatar

Organizations

@dreamerslab

Block or report rayshih

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Give Claude Code an external monitor

TypeScript 1,480 142 Updated Jan 8, 2026

MapAnything: Universal Feed-Forward Metric 3D Reconstruction

Python 3,240 240 Updated Mar 23, 2026

One‑click codebase “blast” for Large‑Language‑Model workflows.

Go 1,998 231 Updated Dec 4, 2025

A fast type checker and language server for Python

Rust 5,631 314 Updated Apr 27, 2026

A fast, safe, and intuitive DataFrame library.

Haskell 241 44 Updated Apr 27, 2026

FinRL®: Financial Reinforcement Learning. 🔥

Jupyter Notebook 14,933 3,289 Updated Apr 5, 2026

List of papers studying machine learning through the lens of category theory

Python 1,505 101 Updated Apr 17, 2026

A community-maintained Python framework for creating mathematical animations.

Python 37,984 2,793 Updated Apr 21, 2026

A PureScript interpreter in Haskell

Haskell 122 4 Updated May 7, 2022

unit test framework for idris2

Idris 4 Updated Jan 10, 2025

a structural diff that understands syntax 🟥🟩

Rust 25,160 468 Updated Apr 26, 2026

a collection of cellular automata written in Haskell with Diagrams

Haskell 189 13 Updated May 28, 2019

An automated tutorial to teach you about Haskell!

Haskell 183 27 Updated May 10, 2023

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Haskell 3,479 257 Updated Jan 11, 2021

A List of Foundational Haskell Papers

JavaScript 886 71 Updated Nov 8, 2024

A tutorial on writing Haskell Language Server plugins

70 1 Updated Aug 16, 2020

Retrie is a powerful, easy-to-use codemodding tool for Haskell.

Haskell 506 28 Updated Jul 4, 2025

GHC version of haskell-src-exts exactPrint

Haskell 73 31 Updated Oct 14, 2025

A purely functional programming language with first class types

Idris 2,925 400 Updated Apr 15, 2026

How to make a new language(and why we shouldn't?)

40 1 Updated Aug 8, 2023

agda-mode on VS Code

ReScript 185 45 Updated Apr 26, 2026

In the tradition of "awesome" (curated) lists, this is a list of references and code for doing deep learning in Haskell.

298 17 Updated Oct 18, 2021

A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.

Haskell 102 1 Updated Jan 3, 2023

Auto generate a stack or cabal multi component hie.yaml file

Haskell 212 19 Updated Feb 21, 2024

An interactive workshop on implementing AlgorithmW in Kotlin

Kotlin 21 7 Updated Jun 7, 2020

Functional programming with fewer indirections

Haskell 781 26 Updated Aug 20, 2020

Pattern language

Haskell 2,840 277 Updated Jun 13, 2025

A library for building Haskell IDE tooling

Haskell 575 94 Updated Dec 30, 2020

Official Haskell IDE support via the language server protocol (LSP)

Haskell 2,916 434 Updated Apr 27, 2026
Next