Skip to content
View Jasurbekbaj's full-sized avatar
1 follower · 1 following

Block or report Jasurbekbaj

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Lists (3)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated
Beta Lists are currently in beta. Share feedback and report bugs.

Starred repositories

Showing results

laurent22 / joplin

Joplin - the privacy-focused note taking app with sync capabilities for Windows, macOS, Linux, Android and iOS.

TypeScript 45,320 4,927 Updated Sep 30, 2024

HigherOrderCO / Kind

A modern proof language

Haskell 3,548 141 Updated Sep 30, 2024

HigherOrderCO / kind2-archive

Temporary repository for Kind2's refactor based on HVM2

Rust 282 26 Updated Sep 25, 2024

HigherOrderCO / HVM

A massively parallel, optimal functional runtime in Rust

Cuda 10,442 397 Updated Sep 4, 2024

VictorTaelin / Interaction-Calculus

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

Rust 758 55 Updated Jul 22, 2024

dapr / docs

Dapr user documentation, used to build docs.dapr.io

HTML 994 725 Updated Sep 26, 2024

facebook / react-native

A framework for building native applications using React

C++ 118,471 24,256 Updated Sep 30, 2024

Jasurbekbaj / Jasurbekbaj

Config files for my GitHub profile.

1 Updated Apr 15, 2024

HigherOrderCO / Bend

A massively parallel, high-level programming language

Rust 17,250 425 Updated Sep 27, 2024

Starred topics