Seasawher/PreventCreatePublicRepo Seasawher/PreventCreatePublicRepo

  • Stars
    star
    2
  • Language
    JavaScript
  • Created 6 months ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Seasawher/PreventCreatePublicRepo
github

Seasawher

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

simple Chrome extension which prevent creating public repository!

More Repositories

1

graduate_exam

京都大学数学系の院試の問題と解答です
TeX
49
star
2

mdgen

Tool to generate markdown files from lean files. This is heavily inspired by lean2md.
Lean
12
star
3

mathlib4-tactics

List of the all tactics of mathlib4. This is heavily inspired by haruhisa-enomoto/mathlib4-all-tactics
JavaScript
10
star
4

mk-exercise

Simple and intuitive tool to manage exercises in textbooks written in Lean.
Lean
4
star
5

lean-book

mdbook template for lean project
Lean
4
star
6

InterpreterBook

「go 言語でつくるインタプリタ」の Lean によるノート
Lean
3
star
7

import-all

This script can check and auto-generate `import` statements in a lean4 repository.
Lean
3
star
8

system_exam

京都大学数学系の系登録試験の過去問と解答です。9ページ。
TeX
2
star
9

ConcreteSemantics.lean

「Concrete Semantics」を Lean で読むノート
Lean
2
star
10

handson-ml3

My fork of https://github.com/ageron/handson-ml3
Jupyter Notebook
1
star
11

localGPT

My fork of localGPT
Python
1
star
12

poetry-devcontainer

template for setting up poetry in devcontainer
Dockerfile
1
star
13

hartshorne

ハーツホーン「代数幾何学」のノートです。117ページ。
TeX
1
star
14

matsumura

松村英之「可換環論」のノートです。68ページ。
TeX
1
star
15

docker-lean4

Ubuntu base docker images of lean4 theorem prover
Dockerfile
1
star
16

awesome-courses

大学などの公開講座のリストです．
1
star
17

free-math

This is a collection of legally free resources for mathematics.
1
star
18

InvertedPendulum.jl

Jupyter Notebook
1
star