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