Giters
Jesus Crespo (jrcrespoh)

jrcrespoh

Geek Repo

3

followers

2

following

24

stars

Home Page:https://linkedin.com/in/jrcrespoh

Github PK Tool:Github PK Tool

Jesus Crespo's starred repositories

freeCodeCamp

freeCodeCamp.org's open-source codebase and curriculum. Learn to code for free.

Language:TypeScriptLicense:BSD-3-ClauseStargazers:402473Issues:8549Issues:18304

julia

The Julia Programming Language

Language:JuliaLicense:MITStargazers:45497Issues:932Issues:25243

pytorch-lightning

Pretrain, finetune and deploy AI models on multiple GPUs, TPUs with zero code changes.

Language:PythonLicense:Apache-2.0Stargazers:28055Issues:247Issues:7072

anki

Anki's shared backend and web components, and the Qt frontend

Language:RustLicense:NOASSERTIONStargazers:18427Issues:344Issues:933

mypy

Optional static typing for Python

Language:PythonLicense:NOASSERTIONStargazers:18252Issues:239Issues:10551

pyright

Static Type Checker for Python

Language:PythonLicense:NOASSERTIONStargazers:13176Issues:124Issues:6111

pyodide

Pyodide is a Python distribution for the browser and Node.js based on WebAssembly

Language:PythonLicense:MPL-2.0Stargazers:12042Issues:128Issues:1687

wandb

The AI developer platform. Use Weights & Biases to train and fine-tune models, and manage models from experimentation to production.

Language:PythonLicense:MITStargazers:8937Issues:59Issues:3319

mamba

The Fast Cross-Platform Package Manager

Language:C++License:BSD-3-ClauseStargazers:6775Issues:48Issues:1721

lsp-mode

Emacs client/library for the Language Server Protocol

Language:Emacs LispLicense:GPL-3.0Stargazers:4760Issues:92Issues:2014

git-it-electron

:computer: :mortar_board: Git-it is a (Mac, Win, Linux) Desktop App for Learning Git and GitHub

Language:PerlLicense:BSD-2-ClauseStargazers:4655Issues:190Issues:184

lean4

Lean 4 programming language and theorem prover

Language:LeanLicense:Apache-2.0Stargazers:4537Issues:67Issues:1798

typeshed

Collection of library stubs for Python, with static types

Language:PythonLicense:NOASSERTIONStargazers:4314Issues:74Issues:2589

jupyterlite

Wasm powered Jupyter running in the browser đź’ˇ

Language:TypeScriptLicense:BSD-3-ClauseStargazers:3849Issues:45Issues:632

binderhub

Run your code in the cloud, with technology so advanced, it feels like magic!

Language:PythonLicense:BSD-3-ClauseStargazers:2540Issues:78Issues:692

neural-tangents

Fast and Easy Infinite Neural Networks in Python

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:2271Issues:62Issues:156

html

Deliverables of the HTML Working Group until October 2018

Language:HTMLLicense:NOASSERTIONStargazers:1971Issues:318Issues:938

starboard-notebook

In-browser literate notebooks

Language:TypeScriptLicense:MPL-2.0Stargazers:1217Issues:23Issues:76

self-attentive-parser

High-accuracy NLP parser with models for 11 languages.

Language:PythonLicense:MITStargazers:859Issues:20Issues:97

julia-wasm

Running julia on wasm

Language:JavaScriptStargazers:331Issues:30Issues:23

rnng

Recurrent neural network grammars

Language:C++Stargazers:186Issues:17Issues:14

Julia100Exercises

A set of introductory exercises for Julia. Based on [100 NumPy Exercises](https://github.com/rougier/numpy-100).

Language:JuliaLicense:UnlicenseStargazers:119Issues:9Issues:1

coq_jupyter

Jupyter kernel for Coq

Language:PythonLicense:Apache-2.0Stargazers:93Issues:4Issues:47

WasmCert-Coq

A mechanisation of Wasm in Coq

Language:CoqLicense:MITStargazers:90Issues:12Issues:26