juniorrojas

juniorrojas's Stars

• pytorch/pytorch

  Tensors and Dynamic neural networks in Python with strong GPU acceleration

  Language:Python82.7k1.7k45.5k22.3k

• mermaid-js/mermaid

  Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

  Language:TypeScript71.2k6383k6.4k

• microsoft/monaco-editor

  A browser based code editor

  Language:JavaScript40k5273.7k3.6k

• certbot/certbot

  Certbot is EFF's tool to obtain certs from Let's Encrypt and (optionally) auto-enable HTTPS on your server. It can also act as a client for any other CA that uses the ACME protocol.

  Language:Python31.4k7505.3k3.4k

• google/jax

  Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

  Language:Python30k3285.5k2.7k

• taichi-dev/taichi

  Productive, portable, and performant GPU programming in Python.

  Language:C++25.4k3892.7k2.3k

• github/docs

  The open-source repo for docs.github.com

  Language:JavaScript16.2k2.5k3.6k59.4k

• gpujs/gpu.js

  GPU Accelerated JavaScript

  Language:JavaScript15.1k251607655

• WebAssembly/design

  WebAssembly Design Documents

  11.4k753818696

• leandromoreira/ffmpeg-libav-tutorial

  FFmpeg libav tutorial - learn how media works from basic to transmuxing, transcoding and more. Translations: 🇺🇸 🇨🇳 🇰🇷 🇪🇸 🇻🇳 🇧🇷

  Language:C9.9k27084956

• paramiko/paramiko

  The leading native Python SSHv2 protocol library.

  Language:Python9.1k3191.7k2k

• max-mapper/menubar

  ➖ high level way to create menubar desktop applications with electron

  Language:TypeScript6.7k61205365

• python-websockets/websockets

  Library for building WebSocket servers and clients in Python

  Language:Python5.2k1051.1k513

• actions/runner

  The Runner for GitHub Actions :rocket:

  Language:C#4.8k1181.7k948

• gpuweb/gpuweb

  Where the GPU for the Web work happens!

  Language:Bikeshed4.8k1812.1k316

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.6k651.8k405

• americanexpress/jest-image-snapshot

  ✨ Jest matcher for image comparisons. Most commonly used for visual regression testing.

  Language:JavaScript3.8k41180198

• root-project/cling

  The cling C++ interpreter

  Language:C++3.5k96322269

• leanprover/lean3

  Lean Theorem Prover

  Language:C++2.1k1161.1k217

• numba/llvmlite

  A lightweight LLVM python binding for writing JIT compilers

  Language:Python1.9k56452317

• leanprover-community/mathlib3

  Lean 3's obsolete mathematical components library: please use mathlib4

  Language:Lean1.7k52362298

• EnzymeAD/Enzyme

  High-performance automatic differentiation of LLVM and MLIR.

  Language:LLVM1.3k30382108

• the-little-typer/pie

  The Pie language, which accompanies The Little Typer by Friedman and Christiansen

  Language:Racket698343157

• sweirich/pi-forall

  A demo implementation of a simple dependently-typed language

  Language:Haskell55733590

• uber-research/PyTorch-NEAT

  Language:Python5482710100

• AmesingFlank/taichi.js

  Modern GPU Compute and Rendering in Javascript

  Language:TypeScript451101620

• akabe/ocaml-jupyter

  An OCaml kernel for Jupyter (IPython) notebook

  Language:OCaml288138041

• nadia-polikarpova/cse291-program-synthesis

  Program Synthesis Course

  241321136

• timhutton/squirm3

  Artificial chemistry

  Language:C++20401

• wsmoses/Enzyme-Pytorch

  Language:Python6201