ljlin

ljlin's Stars

• facebook/infer

  A static analyzer for Java, C, C++, and Objective-C

  Language:OCaml14.9k6061.4k2k

• openai/spinningup

  An educational resource to help anyone learn deep reinforcement learning.

  Language:Python10k2272802.2k

• damianavila/RISE

  RISE: "Live" Reveal.js Jupyter/IPython Slideshow Extension

  Language:JavaScript3.7k84449416

• koka-lang/koka

  Koka language compiler and interpreter

  Language:Haskell3.3k61316161

• twosigma/beakerx

  Beaker Extensions for Jupyter Notebook

  Language:Jupyter Notebook2.8k1214.5k382

• JavierAntoran/Bayesian-Neural-Networks

  Pytorch implementations of Bayes By Backprop, MC Dropout, SGLD, the Local Reparametrization Trick, KF-Laplace, SG-HMC and more

  Language:Jupyter Notebook1.8k2724304

• andrejbauer/plzoo

  Programming Languages Zoo

  Language:OCaml1.4k511880

• yallop/effects-bibliography

  A collaborative bibliography of work related to the theory and practice of computational effects

  95162480

• matijapretnar/eff

  A functional programming language based on algebraic effect handlers

  Language:OCaml859353941

• MrSyee/pg-is-all-you-need

  Policy Gradient is all you need! A step-by-step tutorial for well-known PG methods.

  Language:Jupyter Notebook8551112119

• ligurio/practical-fm

  A gently curated list of companies using verification formal methods in industry

  49556936

• prakhar1989/type-inference

  The Hindley Milner Type Inference Algorithm

  Language:OCaml36112718

• digama0/mm0

  Metamath Zero specification language

  Language:Rust311215840

• nuaatug/nuaathesis

  LaTeX document class for NUAA, supporting bachelor/master/PH.D thesis in Chinese/English/Japanese. 南航本科、硕士、博士学位论文 LaTeX 模板

  Language:TeX301157469

• cpitclaudel/alectryon

  A collection of tools for writing technical documents that mix Coq code and prose.

  Language:HTML230107635

• mattam82/Coq-Equations

  A function definition package for Coq

  Language:Coq2231023144

• jeanqasaur/pltalk

  Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur

  2133813

• koka-lang/libhandler

  Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.

  Language:C187101014

• Beluga-lang/Beluga

  Contextual types meet mechanized metatheory!

  Language:OCaml1841218816

• ultimate-lambda/book-reviews

  14835120

• marijnheule/microsat

  microsat

  Language:C1298626

• project-oak/silveroak

  Formal specification and verification of hardware, especially for security and privacy.

  Language:Coq1241624120

• koka-lang/libmprompt

  Robust multi-prompt delimited control and effect handlers in C/C++

  Language:C1086711

• uds-psl/MPCTT

  Modeling and Proving in Computational Type Theory

  Language:Coq799010

• choukh/Set-Theory

  A formalization of the textbook Elements of Set Theory

  Language:Coq59214

• lujiefsi/NPEDetector

  Finding the potential null pointer exception

  Language:Java28558

• NUAA-Open-Source/weekly

  A2OS Weekly 分享讨论会。

  165190

• iscas-tis/ePMC

  EPMC: An Extendible Probabilistic Model Checker

  Language:JavaScript14965

• FirstHandScientist/pgm_map

  probabilistic graphical model collections

  Language:Emacs Lisp9301

• uds-psl/ACT

  Language:Coq1400