kumom

kumom's Stars

• codecrafters-io/build-your-own-x

  Master programming by recreating your favorite technologies from scratch.

  Language:Markdown301k5.4k67628.2k

• denoland/deno

  A modern runtime for JavaScript and TypeScript.

  Language:Rust94k1.4k10.8k5.2k

• tauri-apps/tauri

  Build smaller, faster, and more secure desktop applications with a web frontend.

  Language:Rust82k5024.5k2.5k

• penpot/penpot

  Penpot: The open-source design tool for design and code collaboration

  Language:Clojure32.6k2231.5k1.6k

• swc-project/swc

  Rust-based platform for the Web

  Language:Rust30.9k1523.5k1.2k

• mathiasbynens/dotfiles

  :wrench: .files, including ~/.macos — sensible hacker defaults for macOS

  Language:Shell30.2k6783908.7k

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.4k101189396

• revery-ui/revery

  :zap: Native, high-performance, cross-platform desktop apps - built with Reason!

  Language:Reason8.1k78266196

• wilsonpage/fastdom

  Eliminates layout thrashing by batching DOM measurement and mutation tasks

  Language:JavaScript6.8k11968240

• ctrlpvim/ctrlp.vim

  Active fork of kien/ctrlp.vim—Fuzzy file, buffer, mru, tag, etc finder.

  Language:Vim Script5.6k54436259

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.5k681.8k396

• WICG/import-maps

  How to control the behavior of JavaScript imports

  Language:JavaScript2.7k9020069

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.5k651.2k373

• TuringLang/Turing.jl

  Bayesian inference with probabilistic programming.

  Language:Julia2k501.1k218

• mthom/scryer-prolog

  A modern Prolog implementation written mostly in Rust.

  Language:Rust2k541.6k117

• CatalaLang/catala

  Programming language for literate programming law specification

  Language:OCaml2k2125978

• probcomp/Gen.jl

  A general-purpose probabilistic programming system with programmable inference

  Language:Julia1.8k75300160

• leostera/tldr.jsx

  📚 A Reactive web client for tldr-pages

  Language:JavaScript1.5k157675

• nextstrain/ncov

  Nextstrain build for novel coronavirus SARS-CoV-2

  Language:Python1.4k76417403

• austral/austral

  Systems language with linear types and capability-based security.

  Language:OCaml1.1k2929840

• stacks/stacks-project

  Repository for the Stacks Project

  Language:TeX851550151

• fikrikarim/companies-with-successful-pivot

  List of startups/companies that had successful pivots

  721232326

• probmods/webppl

  Probabilistic programming for the web

  Language:JavaScript6135150489

• dusk-network/plonk

  Pure Rust implementation of the PLONK ZKProof System done by the Dusk team

  Language:Rust53724425148

• ellisk42/ec

  Language:Slash4542231137

• nodejs/modules

  Node.js Modules Team

  4137140142

• iains/gcc-darwin-arm64

  GCC master branch for Darwin with experimental support for Arm64. Currently GCC-15.0.0 [September 2024]

  Language:C++2682011633

• TUM-Dev/gocast

  TUMs lecture streaming service.

  Language:Go185846142

• davidmalcolm/gcc-analyzer-integration-tests

  Language:Python6591

• hoodiney/ec

  Language:Slash10