Pinned Loading

1. aviatesk/JETLS.jl aviatesk/JETLS.jl Public

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

   Julia 214 10

2. lapisla-prover/lapisla-prover lapisla-prover/lapisla-prover Public

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

   TypeScript 55 1

3. ml-lecture ml-lecture Public

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

   HTML 104

4. medCon2021-1st-place-solution medCon2021-1st-place-solution Public archive

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

   Jupyter Notebook 10

5. abap34.com abap34.com Public

   https://www.abap34.com

   Python 3 3

6. JITrench.jl JITrench.jl Public archive

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

   Julia 30