Discover @pandaman64 Open Source projects

pandaman (@pandaman64)

pandaman64

Stars
564
Global Rank 52,003 (Top 2 %)
Followers 43
Following 14
Registered over 12 years ago
Most used languages

Rust
51.4 %

TypeScript
8.1 %

F#
5.4 %

Pony 5.4 %

C
5.4 %

Lean 5.4 %

D
5.4 %

Nix
5.4 %

Haskell
2.7 %

JavaScript
2.7 %

Isabelle 2.7 %
Location 🇯🇵 Japan
Country Total Rank 1,197
Country Ranking

Isabelle 1

Pony 2

Lean 3

Nix
19

F#
30

D
39

Rust
43

Haskell
428

C
2,157

TypeScript
2,684

JavaScript
9,455

serde-query

effective-rust

task_scope

sabi

Formal semantics of Rust

satysfi-playground

MyML

ML Like Language

unity4d

sion-rs

fs-tracing

MultiIndexContainer

Rust Implementation of Multi Index Container

pratt

QuickSortInLean

pony-twitter

yuri

hyper-hang-tokio

Lean4HOL

hamt-pony

Hash Array Mapped Trie with Pony language

hello-eff

randgen

Random Number Sequence Generator

dnass

Dot Net Assembly Reader/Writer

dentaku-code

ot

Operational Transformation Library written in Rust

lalrpop-logos-rowan

ubiquitous-bear

C Twitter Library with asynchronous communication.

UFCS

Uniform Function Call Syntax in C++11

build-next-with-nix

meshi-777

crate2nix-cargoweb

polars-lean

saikyou

wasabi

A unified framework that connects logics to Shari theorem prover

qopter

Procedual

nextjs-blog

rlox

cloudflare-pages-remix-example

RegExpr

Yet Another Regex Implementation in Rust