Skip to content
View dgryski's full-sized avatar
🏠
💻 🍞 ☕
🏠
💻 🍞 ☕
3.3k followers · 186 following

Sponsors

@authzed
@Akron

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Starstruckx4Achievement: Pull Sharkx3

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Starstruckx4Achievement: Pull Sharkx3

Organizations

@fastly @git-deploy @Sereal @gophertown @photosrv @go-graphite @tinygo-org

Block or report dgryski

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

Stars

5 stars written in F#
Clear filter

fable-compiler / Fable

F# to JavaScript, TypeScript, Python, Rust, Erlang and Dart Compiler

F# 3,075 323 Updated Apr 29, 2026

fsharp / fsharp

Please file issues or pull requests here: https://github.com/dotnet/fsharp

F# 2,161 313 Updated Nov 6, 2022

project-everest / vale

Verified Assembly Language for Everest

F# 307 24 Updated Feb 22, 2024

SoftSec-KAIST / Eclipser

Grey-box Concolic Testing on Binary Code (ICSE '19)

F# 156 16 Updated Oct 4, 2021

blech-lang / blech

Blech is a language for developing reactive, real-time critical embedded software.

F# 69 5 Updated Mar 10, 2023