@alexkassil alexkassil forked alexkassil/pyre-check from facebook/pyre-check · October 10, 2023 22:04
facebook/pyre-check

Performant type-checking for python.

OCaml 6.5k Updated Oct 10

alexkassil/symbolic_differentation

Python 2 Updated Aug 16, 2022

@alexkassil
alexkassil created a repository alexkassil/natural_number_game_lean4 Jan 1, 2023
@alexkassil
python/typeshed

Collection of library stubs for Python, with static types

Python 3.2k 8 issues need help Updated Oct 26

@alexkassil
alexkassil created a repository alexkassil/symbolic_differentation Aug 16, 2022
@alexkassil
inhabitedtype/angstrom

Parser combinators built for speed and memory efficiency

OCaml 515 1 issue needs help Updated Mar 18

@alexkassil
alexkassil created a repository alexkassil/crafted-interpreter Jul 17, 2022
@alexkassil
fbsamples/python-typing-tutorial

A sample Python project to demonstrate basic type checking concepts and best practices.

Python 1 Updated Apr 27

@alexkassil
fbsamples/python-typing-tutorial

A sample Python project to demonstrate basic type checking concepts and best practices.

Python 1 Updated Apr 27

@alexkassil
@alexkassil
@alexkassil
alexkassil starred facebook/pyre-check Jan 7, 2022
facebook/pyre-check

Performant type-checking for python.

OCaml 5.7k Updated Jan 6

@alexkassil
alexkassil forked alexkassil/relude from kowainik/relude Dec 9, 2021
kowainik/relude

🌀 Safe, performant, user-friendly and lightweight Haskell standard library

Haskell 535 Updated Dec 9

@alexkassil
kowainik/learn4haskell

👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests

Haskell 540 Updated Sep 22

@alexkassil
aimacode/aima-exercises

Exercises for the book Artificial Intelligence: A Modern Approach

HTML 479 Updated Sep 16

@alexkassil
charlesjsun/cs184-smoke-simulator

JavaScript Updated Apr 27

@alexkassil
alexkassil created a repository alexkassil/playing-the-computer Apr 27, 2021
@alexkassil
@alexkassil
alexkassil forked alexkassil/cs61a from kfei/cs61a Apr 12, 2021
kfei/cs61a

UC Berkeley CS61A, Fall 2014.

Python 27 Updated Mar 11

@alexkassil
@alexkassil
alexkassil created a repository alexkassil/ph196-final-project Dec 13, 2020
alexkassil/ph196-final-project

Final Project for Public Health 196 AI in Healthcare & Medicine

Updated Dec 13

@alexkassil
alexkassil created a repository alexkassil/sketching-testing Dec 9, 2020
alexkassil/sketching-testing

Testing Sketching Algorithms

Updated Dec 9

@alexkassil
@alexkassil
Cal-CS-61A-Staff/examtool

Python 3 Updated Sep 26

@alexkassil
public-health-196/ph196-fa20

Course materials for PH196: AI in Healthcare & Medicine, Fall 2020

Jupyter Notebook Updated Aug 27

@alexkassil
alexkassil forked alexkassil/tmoss from yanlisa/tmoss Aug 24, 2020
yanlisa/tmoss

Code for the TMOSS software.

Python 4 Updated Apr 7

@alexkassil
alexkassil created a repository alexkassil/python_compiler_in_haskell May 31, 2020
@alexkassil
Bruce-Chan/Scheme-Interpreter

Berkeley CS61A project 4.

Python 2 Updated Aug 7

@alexkassil
@alexkassil
alexkassil created a repository alexkassil/FacebookInternshipPrep Apr 14, 2019
alexkassil/FacebookInternshipPrep

Practicing C++ and Hack

Updated Apr 14

@alexkassil
alexkassil created a repository alexkassil/stat157proj Apr 4, 2019
alexkassil/stat157proj

Updated Apr 4

@alexkassil
@alexkassil
alexkassil created a repository csmberkeley/csm-88 Jan 23, 2019
csmberkeley/csm-88

CSM 88 Worksheets in Latex

Updated Jan 23

@alexkassil
alexkassil created a repository alexkassil/stat157 Jan 22, 2019
alexkassil/stat157

Work for Stat 157 Intro to Deep Learning

Updated Jan 22

@alexkassil
alexkassil/YosemiteSeasonsDownload

Flikr Download script for yosemite images

Python Updated Jan 12