mmirman

mmirman's Stars

• eriklindernoren/PyTorch-GAN

  PyTorch implementations of Generative Adversarial Networks.

  Language:Python16.6k2191574.1k

• google/dopamine

  Dopamine is a research framework for fast prototyping of reinforcement learning algorithms.

  Language:Jupyter Notebook10.6k4251701.4k

• sourcerer-io/sourcerer-app

  🦄 Sourcerer app makes a visual profile from your GitHub and git repositories.

  Language:Kotlin6.7k67372279

• leanprover/lean3

  Lean Theorem Prover

  Language:C++2.2k1161.1k217

• gram-ai/capsule-networks

  A PyTorch implementation of the NIPS 2017 paper "Dynamic Routing Between Capsules".

  Language:Python1.7k5333316

• HuwCampbell/grenade

  Deep Learning in Haskell

  Language:Haskell1.5k614083

• Synzvato/decentraleyes

  This repository has a new home: https://git.synz.io/Synzvato/decentraleyes

  Language:JavaScript1.4k9525696

• AccelerateHS/accelerate

  Embedded language for high-performance array computations

  Language:Haskell91244438119

• haskell-numerics/hmatrix

  Linear algebra and numerical computation

  Language:Haskell38322231104

• locuslab/convex_adversarial

  A method for training neural networks that are provably robust to adversarial attacks.

  Language:Python381173583

• michal-h21/tex4ebook

  Converter from LaTeX to ebook formats (epub, mobi). Using tex4ht and texlua scripts.

  Language:Lua3203013034

• mmirman/MentisOculi

  A raytracer written in PyTorch (raynet?)

  Language:Python24217419

• eth-sri/diffai

  A certifiable defense against adversarial examples by training neural networks to be provably robust

  Language:Python21916726

• mstksg/backprop

  Heterogeneous automatic differentiation ("backpropagation") in Haskell

  Language:Haskell182171522

• eth-sri/ELINA

  ELINA: ETH LIbrary for Numerical Analysis

  Language:C++128146454

• ftramer/ensemble-adv-training

  Ensemble Adversarial Training on MNIST

  Language:Python1218531

• labsix/adversarial-logit-pairing-analysis

  Analysis of Adversarial Logit Pairing

  Language:Python608211

• AccelerateHS/accelerate-cuda

  DEPRECATED: Accelerate backend for NVIDIA GPUs

  Language:Haskell5720022

• Khrylx/DSGPURayTracing

  A GPU-based ray tracer using CUDA

  Language:C548117

• vivid-synth/vivid

  Music and sound synthesis in Haskell!

  Language:Haskell53497

• JeffreyBenjaminBrown/montevideo

  Live-code music in Haskell!

  Language:Haskell34701

• ytsmiling/lmt

  Public code for a paper "Lipschitz-Margin Training: Scalable Certification of Perturbation Invariance for Deep Neural Networks."

  Language:Python34248

• huanzhang12/CertifiedReLURobustness

  Efficient Robustness Verification for ReLU networks (this repository is outdated, don't use; checkout our new implementation at https://github.com/Verified-Intelligence/auto_LiRPA instead)

  Language:Python30517

• ajknapp/accelerate-ad

  Combinatory automatic differentiation in Haskell for heterogeneous computing.

  Language:Haskell21300

• mstksg/hmatrix-backprop

  backprop primitives for hmatrix

  Language:Haskell13633

• eth-sri/eth-sri.github.io

  SRI Group Website

  Language:HTML92518

• kathawala/symdiff

  GPU-powered symbolic differentiation in haskell

  Language:TeX8300

• mmirman/forward-chan

  Haskell channels with the forwarding primitive

  Language:Haskell430

• davidrzs/CreoChain

  An easily configurable blockchain server.

  Language:Go3300

• AHartNtkn/Higher-Lambda-Calculus

  A prototype for a kind of higher-dimensional lambda calculus

  Language:Haskell2200