abap34 - Overview

Skip to content

Navigation Menu

Sign in

Appearance settings

View abap34's full-sized avatar

Block or report abap34

Pinned Loading

  1. A new language server for Julia, enabling modern, compiler-powered tooling.

    Julia 247 13

  2. lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋

    TypeScript 55 1

  3. 東京工業大学 traP Kaggle班「機械学習講習会」の資料

    HTML 104

  4. 1st place solution of 🦾😢 in https://www.kaggle.com/c/ai-medical-contest-2021/

    Jupyter Notebook 10

  5. https://www.abap34.com

    Python 3 3

  6. [wip] Lightweight Automatic Differentiation & DeepLearning Framework implemented in pure Julia.

    Julia 30