MathOS/.gitignore at main · Mnehmos/MathOS · GitHub

8000 MathOS/.gitignore at main · Mnehmos/MathOS · GitHub

Repository navigation

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

61

62

63

64

65

66

67

68

69

70

71

72

73

74

75

76

77

78

79

80

81

82

83

84

85

86

87

88

89

90

# Environment and secrets

.env

.env.*

!.env.example

!.env.sample

!.env.template

*.key

*.pem

# Operating systems and editors

.DS_Store

Thumbs.db

Desktop.ini

.idea/

.vscode/

*.swp

*.swo

*~

# Logs, caches, and temporary files

*.log

logs/

.cache/

.tmp/

tmp/

temp/

# Node.js and frontend tooling

node_modules/

.npm/

.pnpm-store/

.yarn/cache/

.yarn/unplugged/

.next/

.nuxt/

.svelte-kit/

dist/

build/

coverage/

*.tsbuildinfo

npm-debug.log*

yarn-debug.log*

yarn-error.log*

pnpm-debug.log*

# Python

__pycache__/

*.py[cod]

*$py.class

.venv/

venv/

ENV/

.pytest_cache/

.mypy_cache/

.pyright/

.ruff_cache/

.tox/

.nox/

.coverage

.coverage.*

htmlcov/

*.egg-info/

pip-wheel-metadata/

# Lean 4 and Lake

.lake/

lake-packages/

*.olean

*.ilean

# Rust

target/

**/*.rs.bk

.toolchains/

# Mathematical Claim Engine local state

.mcl/

# Jupyter

.ipynb_checkpoints/

# Local database sidecars

*.db-journal

*.sqlite-journal

*.sqlite-shm

*.sqlite-wal

# MathOS local demonstrations

.mathos-demo/

.ci-demo/

0