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 supported. This note will be visible to only 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 and Dart Compiler

F# 3,046 316 Updated Dec 18, 2025

fsharp / fsharp

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

F# 2,166 316 Updated Nov 6, 2022

project-everest / vale

Verified Assembly Language for Everest

F# 298 23 Updated Feb 22, 2024

SoftSec-KAIST / Eclipser

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

F# 155 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