jfinkels's starred repositories

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

Language:RustLicense:MITStargazers:50400Issues:322Issues:596

v

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

ray

Ray is a unified framework for scaling AI and Python applications. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.

Language:PythonLicense:Apache-2.0Stargazers:31603Issues:471Issues:17620

jax

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

Language:PythonLicense:Apache-2.0Stargazers:28625Issues:324Issues:5223

xi-editor

A modern editor with a backend written in Rust.

Language:RustLicense:Apache-2.0Stargazers:19805Issues:401Issues:532

RustPython

A Python Interpreter written in Rust

mypy

Optional static typing for Python

Language:PythonLicense:NOASSERTIONStargazers:17695Issues:236Issues:10255

coreutils

Cross-platform Rust rewrite of the GNU coreutils

pyright

Static Type Checker for Python

Language:PythonLicense:NOASSERTIONStargazers:12282Issues:118Issues:5669

pyo3

Rust bindings for the Python interpreter

Language:RustLicense:NOASSERTIONStargazers:11261Issues:91Issues:1268

pyre-check

Performant type-checking for python.

Language:OCamlLicense:MITStargazers:6715Issues:114Issues:400

uswds

The U.S. Web Design System helps the federal government build fast, accessible, mobile-friendly websites.

Language:SCSSLicense:NOASSERTIONStargazers:6671Issues:296Issues:3059

csvkit

A suite of utilities for converting to and working with CSV, the king of tabular file formats.

Language:PythonLicense:MITStargazers:5862Issues:128Issues:908

pytype

A static type analyzer for Python code

Language:PythonLicense:NOASSERTIONStargazers:4639Issues:61Issues:697

Cirq

A python framework for creating, editing, and invoking Noisy Intermediate Scale Quantum (NISQ) circuits.

Language:PythonLicense:Apache-2.0Stargazers:4175Issues:189Issues:2223
Language:GoLicense:Apache-2.0Stargazers:1040Issues:23Issues:13

layer

Neural network inference the Unix way

Language:SchemeLicense:MITStargazers:559Issues:13Issues:0

frozen-mirror

A Mirror of hg.python.org (now frozen). Please use jython/jython.

Language:PythonLicense:NOASSERTIONStargazers:508Issues:35Issues:0

rinohtype

The Python document processor

Language:PythonLicense:AGPL-3.0Stargazers:497Issues:20Issues:263

myia

Myia prototyping

Language:PythonLicense:MITStargazers:453Issues:30Issues:49

astroid

A common base representation of python source code for pylint and other projects

Language:PythonLicense:LGPL-2.1Stargazers:453Issues:26Issues:759

Soss.jl

Probabilistic programming via source rewriting

Language:JuliaLicense:MITStargazers:411Issues:19Issues:137

English-to-IPA

Converts English text to IPA notation

Language:PythonLicense:MITStargazers:348Issues:13Issues:30

faster-fifo

Faster alternative to Python's multiprocessing.Queue (IPC FIFO queue)

Language:C++License:MITStargazers:158Issues:7Issues:20

hypothesmith

Hypothesis strategies for generating Python programs, something like CSmith

Language:PythonLicense:MPL-2.0Stargazers:93Issues:10Issues:29

beniget

Extract semantic information about static Python code

Language:PythonLicense:BSD-3-ClauseStargazers:68Issues:11Issues:34

yaps

A surface language for programming Stan models using python syntax

Language:PythonLicense:Apache-2.0Stargazers:46Issues:10Issues:4

ferric

A Probabilistic Programming Language In Rust

Language:RustLicense:NOASSERTIONStargazers:35Issues:2Issues:0