Skip to content
View namvdo's full-sized avatar
🪄
Focusing
🪄
Focusing

Block or report namvdo

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
Beta Lists are currently in beta. Share feedback and report bugs.

Starred repositories

Showing results

A modern proof language

Haskell 3,563 141 Updated Oct 31, 2024

Coronavirus (COVID) genetic analysis using Normalized Compression Distance (NCD)

C++ 2 2 Updated Sep 15, 2020

C language complearn library

Shell 45 10 Updated Aug 13, 2015

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Rust 49,137 2,973 Updated Oct 31, 2024

Demos of WebAssembly and web workers

HTML 2 1 Updated Oct 19, 2024

Handling pipe of commands like a single command

C 515 19 Updated Oct 16, 2024

Temporary repository for Kind2's refactor based on HVM2

Rust 286 28 Updated Sep 25, 2024

Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3

Rust 4,724 144 Updated Aug 19, 2024

Distributed lock for your scheduled tasks

Java 3,644 514 Updated Oct 31, 2024

Persistent cluster-friendly scheduler for Java

Java 1,251 191 Updated Oct 25, 2024

A command-line benchmarking tool

Rust 21,996 357 Updated Sep 1, 2024

Duplicate code finder for Elixir

Elixir 23 1 Updated Apr 12, 2021

A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust

Rust 113 10 Updated Jul 23, 2024

Cap'n Proto serialization/RPC system - core tools and C++ library

C++ 11,665 928 Updated Oct 31, 2024

A massively parallel, high-level programming language

Rust 17,377 429 Updated Oct 29, 2024

Rayon: A data parallelism library for Rust

Rust 11,011 501 Updated Oct 28, 2024

Image processing, generative photography, cellular automata

C++ 22 20 Updated Sep 17, 2024

Java 1-21 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.

Java 5,422 1,153 Updated Oct 30, 2024

Practice CS fundamentals with Rust coding challenges

Rust 8 Updated Oct 21, 2024

The famous jass syntax checker.

C 25 6 Updated Jul 27, 2024

An open-source, customizable intermediate logic textbook

TeX 1,066 240 Updated Aug 29, 2024

cleaner C++ port of libqsearch

C++ 2 2 Updated Oct 28, 2024

vitefolts First Order Logic Typescript theorem prover

TypeScript 8 1 Updated Jul 21, 2024

Camera Lidar Calibration using Transformer

Python 2 Updated May 16, 2024

Empowering everyone to build reliable and efficient software.

Rust 98,137 12,692 Updated Oct 31, 2024

A massively parallel, optimal functional runtime in Rust

Cuda 10,479 397 Updated Sep 4, 2024

Book teaching how to write modern and effective Java. It is maintained by the community, anyone can contribute.

JavaScript 33 21 Updated Sep 29, 2024

Utility for running a bit of code "forever"

Java 7 Updated Jul 10, 2024

simplified version of git from scratch

Go 152 3 Updated Oct 4, 2024
Next