Seasawher/InvertedPendulum.jl Seasawher/InvertedPendulum.jl

Twitter logo Share LinkedIn logo Share Facebook logo Share
Seasawher/InvertedPendulum.jl
github

Seasawher

Reviews

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

Repository Details

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

PreventCreatePublicRepo

simple Chrome extension which prevent creating public repository!
JavaScript
2
star
10

ConcreteSemantics.lean

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

handson-ml3

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

localGPT

My fork of localGPT
Python
1
star
13

poetry-devcontainer

template for setting up poetry in devcontainer
Dockerfile
1
star
14

hartshorne

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

matsumura

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

docker-lean4

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

awesome-courses

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

free-math

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